Package: why-examples
Priority: optional
Section: universe/doc
Installed-Size: 1624
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Source: why
Version: 2.34-4ubuntu4
Depends: why
Filename: pool/universe/w/why/why-examples_2.34-4ubuntu4_all.deb
Size: 126536
MD5sum: 8a33bea56a1fa70db21ba07721b3c888
SHA1: 6f16a84170fc098211af362ffc81b491e8ccb871
SHA256: 265497dcb57566fbefb1079745d6df190811488183836f9e797dc24336eb0b25
Description: Examples of programs certified with Why
Homepage: http://why.lri.fr/
Description-md5: 7086bb0f0197ffb86ecb6b65ef3cd85e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu