Accepted why 2.18.dfsg-3 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 16 Apr 2009 17:23:41 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source i386 all
Version: 2.18.dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Description:
libjessie-ocaml-dev - Jessie library for code analysis
libwhy-coq - Why library for Coq
why - A software verification tool
why-examples - Examples of programs certified with Why
Closes: 524054
Changes:
why (2.18.dfsg-3) unstable; urgency=low
.
* Fix erroneous usage of ifdef in debian/rules.
* why-examples depends on non-versioned libwhy-coq and why, thanks
Lintian.
* Make a long description for libwhy-coq, closes: #524054.
* Bump standards version to 3.8.1, no changes needed
* Jessie library:
- Make jc_ast and jc_env fit in the pack
- install jc.cmo and jc.cmx
- Move the binary package to section ocaml
Checksums-Sha1:
fc573169cf603e56780e7d021d6840b15197e419 1452 why_2.18.dfsg-3.dsc
3fa4a9e56e7b1a7740de839a4eb1b796995499e5 7899 why_2.18.dfsg-3.diff.gz
0ccc13aa637449b16dc77f979110f24108169a52 4494880 why_2.18.dfsg-3_i386.deb
0c5486439bf1fee7ed5e75be5cc456fa45af3533 290862 why-examples_2.18.dfsg-3_all.deb
9b88b9c4de511814a6f3c72e00fd063eefbd589f 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
4cfd4985cf5af989259d5e90165be122761232e2 383100 libwhy-coq_2.18.dfsg-3_all.deb
Checksums-Sha256:
ddf2d97b07eedb414d170afebd6cff71925fc4948388a6af49416049ce926518 1452 why_2.18.dfsg-3.dsc
5b54eb065eda8eff489a32490f2f58f800f5d16ffac64b262b9c8701da82e1d4 7899 why_2.18.dfsg-3.diff.gz
18c0fbbd7b0a9529223964267734d61d80f52d1ab19612e31cab9833b75828cd 4494880 why_2.18.dfsg-3_i386.deb
79797ab60e7abde1b93f35a046e100105db9eef02621448d20c88a5953972e38 290862 why-examples_2.18.dfsg-3_all.deb
032107d4ebd04e49868bc336927609490ac1d6f4356e78ead5af63cad7518fac 1113178 libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
6cd16ddb0d2839112e0f195845c1586a83a7536dec0443e4f6e0dfcf6aa1c633 383100 libwhy-coq_2.18.dfsg-3_all.deb
Files:
3887e3c27f94c8ef624133e91864149e 1452 math optional why_2.18.dfsg-3.dsc
a32673785b7b5ecef0ee8376ad937aeb 7899 math optional why_2.18.dfsg-3.diff.gz
f838f9ea96601f69880a50b890403e06 4494880 math optional why_2.18.dfsg-3_i386.deb
f84433aed62ad3157e8687631937e900 290862 doc optional why-examples_2.18.dfsg-3_all.deb
f732a5f287b3dc7d80a11adb5c7b2119 1113178 ocaml optional libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
a430a2bd80cde95f47ce6dc9970ddf48 383100 libdevel optional libwhy-coq_2.18.dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkoNmxkACgkQhryr/xwAx5BWVgCgi6mCa8YQpceC8xM2JQmtnN9t
LzYAoLDeuctmt5xmtZk8hV3OleY1+dkI
=OCPY
-----END PGP SIGNATURE-----
Accepted:
libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-3_i386.deb
libwhy-coq_2.18.dfsg-3_all.deb
to pool/main/w/why/libwhy-coq_2.18.dfsg-3_all.deb
why-examples_2.18.dfsg-3_all.deb
to pool/main/w/why/why-examples_2.18.dfsg-3_all.deb
why_2.18.dfsg-3.diff.gz
to pool/main/w/why/why_2.18.dfsg-3.diff.gz
why_2.18.dfsg-3.dsc
to pool/main/w/why/why_2.18.dfsg-3.dsc
why_2.18.dfsg-3_i386.deb
to pool/main/w/why/why_2.18.dfsg-3_i386.deb
Reply to: