-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: why Binary: why, why-examples, libwhy-coq Architecture: any all Version: 2.34-4 Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Samuel Mimram <[email protected]>, Mehdi Dogguy <[email protected]>, Ralf Treinen <[email protected]> Homepage: http://why.lri.fr/ Standards-Version: 3.9.5 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/why.git Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git Testsuite: autopkgtest Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20140301+neon+dfsg), libapron-ocaml-dev (>= 0.9.10-4~), camlidl Package-List: libwhy-coq deb libdevel optional arch=all why deb math optional arch=any why-examples deb doc optional arch=all Checksums-Sha1: 4c1218b32314015819d5d7e3a56b1c51aed16903 3725831 why_2.34.orig.tar.gz ae956a75d107fd0a6aba1b8fd5cc640187384576 11224 why_2.34-4.debian.tar.xz Checksums-Sha256: 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 3725831 why_2.34.orig.tar.gz 425953af6e0d0e342f38c41999800dd442808e0be0858181a4880c510efb08a4 11224 why_2.34-4.debian.tar.xz Files: 1e729c4ecb41892531563d34208d3e52 3725831 why_2.34.orig.tar.gz bee7226d8d3fd28d4462262df8ffcc17 11224 why_2.34-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWIYWIAAoJEDO+GgqMLtj/BwQQAIxXdwqTg4MARHIxDvWfS+9Z C+bwFexK0iohjkVOyEwst/AYd/PAxA4+6eQekPSwNqey5En8Glezcb3ng9k6V0vO D3bjB4s9XVnMu/fkMrfTP6WpTALpd9tmxLwMtiVYu1AvKYNauWnvX7WXJq0dx7gt Whm/7cpdJC/kwoZ4gmopA5+mVa+Ptn94UjtO8AvhTAO7UmCMYIfyb+h0jFMq50RQ gkR8arJsY1oJLTWf1l8+dOUw39OwmhYGn2y44Qhb4hyraH8yap9TBxxYsOcmhTgZ GwMCi/bjlRWyB6YYqIcBQmxCNfVFEpp6DcWHfKL+i7yGBYElCe1p7xPenCnpDql6 LIlGJf53dG0LYw5F2TPQKbQ00xrkYMBRkDdR3NnaOboCe11o0mYbZPMf+iBYN1yg Z1c9GCiJgG1JVmtaywoN9tTombZr0/vK7Z2+9HPyzLsw86ZUwHAVAnB9RXMRQDHx aZ2eYhNOVBIaPnTeeLB4nU4nAqWFSGrG1NtvREwnzpHcL2nH11fbbhu435oNA6eS CAkiBalu/N7Kq2Quo2Y1GE4TfcJCcU/In8E2viWgu7n4g3px1nx2bjm8sVwgh1jh B+aeX7PNZ1cJoHwYEJd+8FFKgL6h3x33cAXWNvEeDycDhKQvVXJyGhFP8fEqsTKm jJ1wq6E/XWmv6wfhcH/c =TBji -----END PGP SIGNATURE----- Changes: why (2.34-4) unstable; urgency=medium [ Ralf Treinen ] * improve as-installed package tests [ Mehdi Dogguy ] * Fix FTBFS with OCaml 4.02.3 by: - not using Format.bprintf anymore - not turning warning 3 into an error * Port Why to ocamlgraph 1.8.6 -- Mehdi Dogguy <[email protected]> Sat, 17 Oct 2015 01:12:21 +0200