Package: why3-examples
Architecture: all
Version: 1.7.2-2build1
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: 18118
Depends: tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-examples_1.7.2-2build1_all.deb
Size: 4003788
MD5sum: d0532f5677dd8c344ebb1a4c018df4a1
SHA1: 942f3d551494a727adc565f572d5b728de0089af
SHA256: fa2b4a3daf596688da31c10fa152a52e8762e31fa724ce0179f796e6e1df6592
SHA512: 1dae047b8650045ff05a246ead7a79f61667a1c0ddddd8ea572098f00082d7279fef9fcc2aa67addbff101f08236be6a2bc088cc25514a9d6e10cc5769a4a411
Homepage: http://why3.lri.fr/
Description: Examples for the why3 verification platform
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377