Accepted why 2.34-2 (source amd64 all) into unstable
-----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-----