Package: why3-examples
Architecture: all
Version: 1.6.0-1build7
Priority: optional
Section: universe/math
Source: why3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 19475
Depends: tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-examples_1.6.0-1build7_all.deb
Size: 3947434
MD5sum: bf163f70e8aa6d96db38960817fd7edf
SHA1: 422767cfdb3f74ecd5696f1d5e3e0f4c66337f87
SHA256: 66e0fffd469dd8320c896ed3816d180df7dbeb96e60f01f4fb9d6ff202a3f5ac
SHA512: 80d4bee59fe2d3abc9534450173e50bd864cdd84af5750696c64af396429cc56e4bd4eeca184c6ff810fde1ff14d200b7debbccf5e98e6d822bdfd24f8e764da
Homepage: http://why3.lri.fr/
Description: Examples for the why3 verification platform
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377