-----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