-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 04 Aug 2014 09:34:24 +0200 Source: why Binary: why why-examples libwhy-coq Architecture: source amd64 all Version: 2.34-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-2) unstable; urgency=medium . * Team upload * Recompile with coq 8.4pl4 * Update Vcs-* Checksums-Sha1: 0c8141c6a9ef7aba77d27a2b54f8ff554edfdd12 2366 why_2.34-2.dsc 6c560103327261d0af90f4cca35bf0e87dda40a0 10512 why_2.34-2.debian.tar.xz 753d46fb804a355a83538372a6c1278e94a4e068 5054120 why_2.34-2_amd64.deb f36fe24e26814c41dc0c12310454d99c29c6b10e 143132 why-examples_2.34-2_all.deb ab4e5e181186bc3f89137c6305a149605f93fdd0 244858 libwhy-coq_2.34-2_all.deb Checksums-Sha256: 276a234dc6a40b133ff8921396fb47aa1781f723c4b5702791a76db27fe6cad7 2366 why_2.34-2.dsc c6d739e10ce451e51c5d4652abd3680d750f664ee39650df68d83842363feb3a 10512 why_2.34-2.debian.tar.xz ec5e2b4185cdac4caf3acce6b4cf63aeebdf63192e21be65d999c00b94db6289 5054120 why_2.34-2_amd64.deb 0a261d23f7c3a8a9304abe05d035b28f46e496829ceb5b2373d39271cbf286e3 143132 why-examples_2.34-2_all.deb ccccb21954a22ef779b745f86750b9208dda8f1ed84646a20918e4a968e9375b 244858 libwhy-coq_2.34-2_all.deb Files: 88bd24959fecb1fdf707d21313770d39 5054120 math optional why_2.34-2_amd64.deb a322b7ae74c5da401086cac1ca7cc631 143132 doc optional why-examples_2.34-2_all.deb 7439565702deb0336ca9f57e44ac6063 244858 libdevel optional libwhy-coq_2.34-2_all.deb 57372b55e6f604559889008a4c0c6d99 2366 math optional why_2.34-2.dsc ac40985ebd3ebd89a4dd59f46bec4e8f 10512 math optional why_2.34-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJT30WSAAoJEHhT2k1JiBrTpBIP/RgyMLpvz4AkNkq7lOAryx7S L3zHkqyR/GxK8PX6wTDE+5rqwxsxLHrYn5K9+ug1ZTLhNuC2XekbbdvHu6ez1/Gg KSjScLSoRhQZSqhMpn53etZD2gnrO/a8YM/aOXKW5tnl8jzmRpBH8SPtoDUsqnTg X31Z9i0hLvmKOt9n1SUDaQK8KI5JuAKtsPZccePAP/c5oXgFOSsG1MpmLKQ5H/Mb /crsw4vtQKlwob61cg3Wt87QOW5myn0Iznyls0kK++gM5FNNaAW0zwYxzjCkYgAo J8KSfrnH4ff19xr81jGlXgrv9CEpQ7FtyANW3kftgPCtFs5hbAUYtYFOHC8rwVrB 88DQhL5vUqGpz9b+Mo4Ky2+GSV0lgxoFrZWJ2vStcqAO+aW/XYcBWC3ZmYFKiGqf bzXa5UNqxVN08nvoSWqFKtrhORaZuCoDyXYwisxIXsij0sgQ069Vlu6E80PNJoHa Wq/VWWPMXf1w9tzcB0EGHE9iMSYHcleSkyR8Ho/0I51sBh5rw5Gwk9nEZcBbmuAw vTjqRybzwxQS8FI5ElQMwRmAuVOkrtE6NNngo8acZ/MbSr2T+JnWywGK9stl3hE7 v8hhKm6+3j800y4Gvq6OZnILIgLV4kVdiKCeqT4JEgX6sfCN/LzEPv4a9/Wxgc/+ vym9goFL/pLGD49gLDbX =voE1 -----END PGP SIGNATURE-----
