» Ubuntu » Packages » disco » ocaml » libwhy3-ocaml-dev
bionic  ] [  cosmic  ] [  disco  ]
[ Source: why3  ]

Package: libwhy3-ocaml-dev (0.88.3-3ubuntu1) [universe]

Links for libwhy3-ocaml-dev


Ubuntu Resources:

Download Source Package why3:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

OCaml librariries for why3 (dev)

Other Packages Related to libwhy3-ocaml-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libwhy3-ocaml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 1,814.2 kB13,366.0 kB [list of files]
arm64 2,061.4 kB14,760.0 kB [list of files]
armhf 1,942.7 kB9,410.0 kB [list of files]
i386 1,775.2 kB9,516.0 kB [list of files]
ppc64el 1,938.3 kB15,701.0 kB [list of files]
s390x 1,738.8 kB13,380.0 kB [list of files]