[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted why 2.18.dfsg-4 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 20 May 2009 15:38:58 +0200
Source: why
Binary: why why-examples libjessie-ocaml-dev libwhy-coq
Architecture: source amd64 all
Version: 2.18.dfsg-4
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 C code analysis
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.18.dfsg-4) unstable; urgency=low
 .
   * libjessie-ocaml-dev:
     - Do not install jc.cm{x,}a
     - Only jc.{o,cmx,cmo,cmi} are installed.
   * Remove configure.dpatch
Checksums-Sha1: 
 0af90914d58e483984a39f3c638f5cb1512972b4 1452 why_2.18.dfsg-4.dsc
 5cb3c41795202d9a62e369f68bbfc5414f6b58fb 7563 why_2.18.dfsg-4.diff.gz
 d567701f366df97265d9c2adb53dfbc5ca3395f7 5693384 why_2.18.dfsg-4_amd64.deb
 621510cab9e938fe59cbb81ddcb84df233b02e96 293716 why-examples_2.18.dfsg-4_all.deb
 d6a340052535c5b3f058eb0432cb072b12581d48 689918 libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
 6b2ad5dfd6c3c306f916018731dafe4ed5015d87 386816 libwhy-coq_2.18.dfsg-4_all.deb
Checksums-Sha256: 
 d44a11df853c704acd13657d9414bd0c08a7780dabb9921fc46e7d8549a7c64a 1452 why_2.18.dfsg-4.dsc
 02c5c9915c8f545c6bc0d1ab8de7a0e9cacfcc704b9caa24bb06a0881984ee79 7563 why_2.18.dfsg-4.diff.gz
 c50cd8d1fcb4075f2e5ac0cf1531c25984f31c2cab117c5238557d52f22819a9 5693384 why_2.18.dfsg-4_amd64.deb
 66126e245e731f4539abc1f48ce810d7aa60b68ada85b8c0600bf5830f3786da 293716 why-examples_2.18.dfsg-4_all.deb
 7b49bcddec5887a7714603d1a74beb85bb8f152794abc2e629d25515488e7ceb 689918 libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
 bad27bc2547b9fe665fc4f0a8271f9623b0ff2de777b453fd140a70c25b5e88b 386816 libwhy-coq_2.18.dfsg-4_all.deb
Files: 
 d85e6754b92a8b136deaa2a637f2cbbb 1452 math optional why_2.18.dfsg-4.dsc
 33ce9d94f5dfee499ecb5e37dc22f2d7 7563 math optional why_2.18.dfsg-4.diff.gz
 9d5052835ccd7d5de972f589d91ea5ac 5693384 math optional why_2.18.dfsg-4_amd64.deb
 c1f343465863596c347084336e0228e0 293716 doc optional why-examples_2.18.dfsg-4_all.deb
 cffdc775594819ded68a76dbbadb78f1 689918 ocaml optional libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
 3cfcfe5fefb91138aa4e9692b50c14a0 386816 libdevel optional libwhy-coq_2.18.dfsg-4_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkoVIksACgkQhryr/xwAx5AjrACcDww6hdPzgFHnllvGBpTMyqzp
Gn0AoJKYcB7a8zImeiSt1BzPhTcKDs4g
=5yby
-----END PGP SIGNATURE-----


Accepted:
libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
  to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-4_amd64.deb
libwhy-coq_2.18.dfsg-4_all.deb
  to pool/main/w/why/libwhy-coq_2.18.dfsg-4_all.deb
why-examples_2.18.dfsg-4_all.deb
  to pool/main/w/why/why-examples_2.18.dfsg-4_all.deb
why_2.18.dfsg-4.diff.gz
  to pool/main/w/why/why_2.18.dfsg-4.diff.gz
why_2.18.dfsg-4.dsc
  to pool/main/w/why/why_2.18.dfsg-4.dsc
why_2.18.dfsg-4_amd64.deb
  to pool/main/w/why/why_2.18.dfsg-4_amd64.deb


Reply to: