Package: why3-examples
Source: why3
Priority: optional
Section: universe/math
Installed-Size: 19309
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.8.2-3build1
Recommends: why3
Depends: tex-common (>= 6.13)
Filename: pool/universe/w/why3/why3-examples_1.8.2-3build1_all.deb
Size: 4231988
MD5sum: ab36a9a6156f38caaf04474e48f31d2e
SHA1: d22979d59e96e424d9258594115154aaabe24f12
SHA256: e2e2d3d2ec4fce420e3c6711162bb30e4416b40b08e09759bc3f5ade232626f5
SHA512: 19f60a06701a26bb0f8a29b0ebdaea603c34bbd382c3cdf7a21ee78ce5dadddb0daf7ecc33a43141fcd743f7a0db2aee551a919f7df6b93fd37cafeb54b3304c
Homepage: https://www.why3.org/
Description: Examples for the why3 verification platform
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug