-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 01 Jun 2010 21:47:05 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.26+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.26+dfsg-1) unstable; urgency=low
.
* New upstream release
- Refresh patches
* Update copyright years
* Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~)
* Add a debian/source/format file (Keep 1.0 format, for now)
Checksums-Sha1:
3716a1ad7cb6cbf5f1aa8a5bd82ec761253afa62 2207 why_2.26+dfsg-1.dsc
0c63c64e1b2cfb8c4c5a8d3f279073aa2d67f080 2513136 why_2.26+dfsg.orig.tar.gz
d15adbc215aa5a6acf841413a3e6f0d45b075721 9154 why_2.26+dfsg-1.diff.gz
e80991690410a9ea8ff4c9c5f0e3b97368019943 8560978 why_2.26+dfsg-1_amd64.deb
8b348724564c7c409d741143aab40d4cb4447125 186620 why-examples_2.26+dfsg-1_all.deb
afd1f2e0739958d3bc2d71d0c69c70e38c5aa000 508278 libwhy-coq_2.26+dfsg-1_all.deb
Checksums-Sha256:
33283eba12a8d41ef9a35ba71def0ebe677b9ae6d7d71f1062201c02d6456bd1 2207 why_2.26+dfsg-1.dsc
667187e0058383c8b660c706a915c00af16256ae63ddd286ebfe09bd67ac4d69 2513136 why_2.26+dfsg.orig.tar.gz
194b08fe2cbe19c66f556b11781488585314cf3b63d8ee5e7b635cba2b858d89 9154 why_2.26+dfsg-1.diff.gz
63f4d9a573b5c7fa4d67a7dc2b5272b2265a72e84855edebced6d3706de35c4b 8560978 why_2.26+dfsg-1_amd64.deb
e291d40addd24cec82a32f78c147810bd5dd7eb35faafebf4fd824d0a22a0a65 186620 why-examples_2.26+dfsg-1_all.deb
28b4e46b06045e89309ae7ed8ed12b1cbecf34ba32210a4b657f974c8e893fdb 508278 libwhy-coq_2.26+dfsg-1_all.deb
Files:
06fa7745a108f2c4734698c319a54841 2207 math optional why_2.26+dfsg-1.dsc
ea3c84978d0ceddb64c278eb203231ed 2513136 math optional why_2.26+dfsg.orig.tar.gz
a0886970b80d189b9c984f2c28d24ff2 9154 math optional why_2.26+dfsg-1.diff.gz
8ca4c3ae0d77618fc6d5d9c14b545c6e 8560978 math optional why_2.26+dfsg-1_amd64.deb
567bead6c08dbaceb64e3938a8b9d7b0 186620 doc optional why-examples_2.26+dfsg-1_all.deb
88ec9c4e62f288d04ebd325a74a77c67 508278 libdevel optional libwhy-coq_2.26+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMBWgPAAoJEDO+GgqMLtj/99QQAMNMgZfoh/YnleQQ+T+C3/ld
KVfj6xvYnnZy/vySyrUrelE+LK6p1z91IYPp7euMIwq3VoRdgO3t4z6uRMIj4aTB
Y0jNo9RFFQ76OhysNCvX9tQZA1iWMsJlwbm2JxU7Vj3kNBrrClyXNGyohRlc3C88
wEHPMvvLooZxg2WsVJLsRLHb3rH94T06QwWscMrL9YCxc2BVpKdTKLhG/4shvjr/
w2+Vdzpz4pPQxSjAAYR08+KtTEURXO4rKR7PtLUjxYgnF9NYrnV9CJMQCkrEHiJq
1X3LB/qAgS4mfvsagcSznxSnAtQT3x5a9nqCI03f7eX8k9mpFquOS8DfNLN8l5Wn
v62bFCUjuavYJXoKqaR6vkt0QvFOTs0jLTr/qYog2zkARlzpSzVCo/DUzBxW9lt9
p5YH9E8sRn636hmBe0GdDH8TfqWZ+Y5ZR4z30V1C9PP9WutU44wuAkVJHTW1w1gA
Mo5ql6dxWA1LMOvejgE62ZNC5MzkYuW+X/7JgyWdwViG6PEL0ptKQe/7Fhm0V593
AbZqlbG624GiGs9Fcy2dXiujKbF/Ypm7sAmKVKrkFn9mwc2rGrc6LtWG1lVJs/l0
FH27H6B6tfkB+77+6bIPewucPa4loOaaxT0v17HUBkx4JGjVPiEI2F51ROtMxZ7N
Jdk/Kv5RJC9NSOr9SI1W
=JndI
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.26+dfsg-1_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-1_all.deb
why-examples_2.26+dfsg-1_all.deb
to main/w/why/why-examples_2.26+dfsg-1_all.deb
why_2.26+dfsg-1.diff.gz
to main/w/why/why_2.26+dfsg-1.diff.gz
why_2.26+dfsg-1.dsc
to main/w/why/why_2.26+dfsg-1.dsc
why_2.26+dfsg-1_amd64.deb
to main/w/why/why_2.26+dfsg-1_amd64.deb
why_2.26+dfsg.orig.tar.gz
to main/w/why/why_2.26+dfsg.orig.tar.gz
