Package: why3-examples
Source: why3
Priority: optional
Section: universe/math
Installed-Size: 19306
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.8.2-3build3
Recommends: why3
Depends: tex-common (>= 6.13)
Filename: pool/universe/w/why3/why3-examples_1.8.2-3build3_all.deb
Size: 4230430
SHA512: b1d52bc7fb551c5ab84ded413e7648f5aee46fc24ed13bf299917da91907dcd9e1946477cad87c8a049f9a3d7b8102e91c1c0303b036f3ca4badb69d115677da
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