Accepted why 2.23+dfsg-1 (source all armel)

[Mehdi Dogguy <mehdi@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 24 Jan 2010 17:31:23 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source armel all
Version: 2.23+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
Closes: 552776
Changes: 
 why (2.23+dfsg-1) unstable; urgency=low
 .
   [ Mehdi Dogguy ]
   * New upstream release
     + Remove makefile.in.dpatch (fixed upstream)
     + Remove jessie_lib.dpatch (not needed anymore)
     + Needs ocamlgraph 1.3
     + Fixes detection of Alt-Ergo (Closes: #552776).
   * Refresh packaging
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
     + Add ${ocaml:Depends} in Why's Depends field
     + Add 0001-Do-not-run-tests-on-non-existant-files.patch
   * Fix some spelling errors
     + Add 0003-Fix-spelling-errors.patch
   * Fix FTBFS on bytecode architectures
     + Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
     + Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
     + Generate Jessie.cma
   * Fix debhelper-but-no-misc-depends
   * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
   * Remove libjessie-ocaml-dev which is no longer user by Frama-C and
     don't install the Jessie library.
   * Update copyright file
   * Add camlidl to Build-depends: needed to enable Arpon support
 .
   [ Samuel Mimram ]
   * Enable apron support.
     + Add 0002-Enable-Apron-support.patch
Checksums-Sha1: 
 241fa1f4be6506dd9c2f05a0d0c261fd448198c8 2185 why_2.23+dfsg-1.dsc
 b5d489add1e64f0d03ee52b41773a9e0afaba279 2492649 why_2.23+dfsg.orig.tar.gz
 c005245b9ab00dd5c50541b7da9d8e1ad2d4d07f 9066 why_2.23+dfsg-1.diff.gz
 57703897d7e2b434eba0ef91b8b16716d9c65fe9 14437212 why_2.23+dfsg-1_armel.deb
 6169102e011d089c3bed77d51febe35e954ab07d 185488 why-examples_2.23+dfsg-1_all.deb
 7b1b992fcb513e4065e539f5379567b63212d75b 414442 libwhy-coq_2.23+dfsg-1_all.deb
Checksums-Sha256: 
 91d14e2a600ed4a35b0f34f6791daca56d41d0e97a0ca20b55720ed3cc04cee4 2185 why_2.23+dfsg-1.dsc
 f169551e3aabe830b11cc749d9f40878774af3fb9ffbd9a2479d5656cbc2e06e 2492649 why_2.23+dfsg.orig.tar.gz
 bccaf68c8c35c91f47c45a8ce2ca0554169580c042ab45de41a107022f7760b5 9066 why_2.23+dfsg-1.diff.gz
 2bb97575a953df41a50500864d474f0ded285daab2e6877ee62a873573b7de77 14437212 why_2.23+dfsg-1_armel.deb
 bc35e5d132c703b136f0193f06e3ddaca5516af556455416c8355be421a6e842 185488 why-examples_2.23+dfsg-1_all.deb
 da3f0ff1658f25eef318df6817289a89c2c8d3f4a74f56a425186b76a9852e29 414442 libwhy-coq_2.23+dfsg-1_all.deb
Files: 
 93b72bbf683778ccace345fc9c0a97f0 2185 math optional why_2.23+dfsg-1.dsc
 bf3ae187ee707e9841414fca56d08096 2492649 math optional why_2.23+dfsg.orig.tar.gz
 c0cb06b7f25cb6ad508efada8e605ed9 9066 math optional why_2.23+dfsg-1.diff.gz
 4bcf47256d34a2196a4cdbe6149340b9 14437212 math optional why_2.23+dfsg-1_armel.deb
 c0036363c2a6a4bd49ebea75c8dbf622 185488 doc optional why-examples_2.23+dfsg-1_all.deb
 b53e2795336b0f18ebfa974c85669156 414442 libdevel optional libwhy-coq_2.23+dfsg-1_all.deb

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

iQIcBAEBCAAGBQJLXM7CAAoJEDO+GgqMLtj/GNAQAIA/mpYxM45nL+zAaPZNDDB4
V8qYB9HY35CTCIBJLQ1np0rjpR0UuoxOJrHTzhjmuk70hAGxP1RKu0LuorG0XXXC
wbg5P7dgMFEItAnDRXdPpscP8Wm3Xiterr8ZF/+YYJux71JJ3xjKobER2cIX0tCI
ZpnhoTHGY7H5Qw1x8uYP6P5ubalDFux4CbRumpueBieIUWEsAyX8lQz31urcSXIe
IgLay9TdGYI5q1K3hQXdjfzSukQfBXWcIIWLdc4dZmme5Bvr3vupvMIXkgwLCTEG
ojRrfxh/xz53AdEDeptiAQkA9n7yxP92jGUkDq4xUiPfVDWvAU1z9V+95mtNzdpg
fZlwjpdU9Bn6eoFTTro7GV2o7NufYBvVNBvL10aZTm+Tblo3Xor9zukA3CyzDLhk
xquyPlScZwhtkwvPHkhQ9AxvlaWSjhFXip8m1H6H+sKB3wwhDtQcWxM/kZtf8J7W
jQa43w7yovdQgYIImJWM+Q3ZXIOxKwJbkDfOH3xSQPJ76HNts2fuo16zyRv0v0MC
d7LiJ7xJptkb5CTHsI3NHlZpxyLEp8CJDiE3eEVFeamWUN+DwxjEKCOa0cwbFT2i
eh0BChZ3+q5rb7qRHop9YjzePYDiKuF9ytdokwn16xrNxKl0Rk4aTh4tNX5EVgPo
ahGk7Bw1y1MbWpZemi71
=nuCB
-----END PGP SIGNATURE-----


Accepted:
libwhy-coq_2.23+dfsg-1_all.deb
  to main/w/why/libwhy-coq_2.23+dfsg-1_all.deb
why-examples_2.23+dfsg-1_all.deb
  to main/w/why/why-examples_2.23+dfsg-1_all.deb
why_2.23+dfsg-1.diff.gz
  to main/w/why/why_2.23+dfsg-1.diff.gz
why_2.23+dfsg-1.dsc
  to main/w/why/why_2.23+dfsg-1.dsc
why_2.23+dfsg-1_armel.deb
  to main/w/why/why_2.23+dfsg-1_armel.deb
why_2.23+dfsg.orig.tar.gz
  to main/w/why/why_2.23+dfsg.orig.tar.gz