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