Package: why3-examples
Architecture: all
Version: 1.8.0-2
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: 19311
Depends: tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-examples_1.8.0-2_all.deb
Size: 4240206
MD5sum: ee8ce258b878ccaa24044c017d207f92
SHA1: 174639495879e5663231c6ce89a9f1a880fc8d2e
SHA256: a42a822c1fc3675b9e854b76e020f3930d2c5d16aad285bc5316ff6278fd5987
SHA512: e88df826e378a23309e82c727fda8898770dd7e02428e752f0bc6c349da6a9dbbdc896a0913defe0f366ddcb8883ea131e70024ba83f61aa3e81bf8da464cf4b
Homepage: http://why3.lri.fr/
Description: Examples for the why3 verification platform
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377