Package: why3-examples
Architecture: all
Version: 1.8.1-1
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: 19310
Depends: tex-common (>= 6.13)
Recommends: why3
Filename: pool/universe/w/why3/why3-examples_1.8.1-1_all.deb
Size: 4233260
MD5sum: 770c0788290ba013793294a006afdb2d
SHA1: 57f7a790f04bc6774e966a877b1085f1bbab2ddf
SHA256: f2e319b7f67839019874cf50f3402bc82f2b779f9f060ffb164335662b3f586b
SHA512: ef836a4970b5493b65b97172aca6507cb520911f55c0988da4b7fe92a0d6a9193f0357327027180cc7c3ba54c6232c1b07ff084748cb49cf8f42643a67b9492d
Homepage: https://www.why3.org/
Description: Examples for the why3 verification platform
Description-md5: 6e4dbbd0dec9f982a2b216d558fd2377