libwhy3-ocaml-dev (1.8.2-3build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: why3
Architecture: amd64v3
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 53.1 kB
Size expected: 13.6 MB
Size actual: 13.6 MB
Size match

Dependencies

Required package dependencies

tex-common (>= 6.13)
libmenhir-ocaml-dev-zqk95
libstdlib-ocaml-dev-kjuo1
libzarith-ocaml-dev-0x2c5
libzip-ocaml-dev-t69w4
ocaml-5.4.0

Suggested packages

Recommended additional packages

ocaml-findlib

Description

OCaml librariries for why3 (dev)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	88a715e4…da092bea	88a715e4…da092bea
SHA-1	caec6232…6f8c1e44	caec6232…6f8c1e44
SHA-256	0322717a…fe7b9de1	0322717a…fe7b9de1
SHA-512	625b9d5b…50f9936a	625b9d5b…50f9936a

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/META
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/why3/why3.cmxs
usr/share
usr/share/doc
usr/share/doc/libwhy3-ocaml-dev
usr/share/doc/libwhy3-ocaml-dev/NEWS.Debian.gz
usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz
usr/share/doc/libwhy3-ocaml-dev/copyright
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libwhy3-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums