This package is 4.4 MB.
It is available at http://ftp.debian.org/debian/pool/main/w/why3/libwhy3-ocaml-dev_0.87.3-2+b1_amd64.deb
.
View its full control file here:
debian/control.
OCaml librariries for why3 (dev)
This package depends on:
tex-common (>= 6), libmenhir-ocaml-dev-81sd1, libzarith-ocaml-dev-gmz61, libzip-ocaml-dev-4m8e9, ocaml-nox-4.02.3.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libwhy3-ocaml-dev 0.87.3-2+b1 is in debian - stretch / main. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.