-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Apr 2010 16:28:54 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.25+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.25+dfsg-1) unstable; urgency=low
.
* New upstream release
- Refresh patches
- Remove 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
* Bump Standards Version to 3.8.4, no changes needed.
* Raise minimum version for Frama-C to 20100401+boron
* Raise minimum version for OcamlGraph to 1.4
Checksums-Sha1:
b8ade6009d77141968e3c63645400800ac95e7d4 2205 why_2.25+dfsg-1.dsc
d0ca423a021377b60d0bf2958d31dd756d575aff 2531320 why_2.25+dfsg.orig.tar.gz
c80b8ebf61c5a06a55abf8fb5022b3263af58478 9158 why_2.25+dfsg-1.diff.gz
32505fc23152e2022eb21427ba7674a075f2db70 8546978 why_2.25+dfsg-1_amd64.deb
00793b6d768b09e77885a494986d000de6bfb990 186642 why-examples_2.25+dfsg-1_all.deb
7fbcec6aff88ab491f51ec549d1ea6b93ca25cb7 508162 libwhy-coq_2.25+dfsg-1_all.deb
Checksums-Sha256:
59356b0132d705284a641908def225efb135787c64b5b201c972abfcd52bb2e3 2205 why_2.25+dfsg-1.dsc
a9d9a630578c43146b12827968e6e1fe4f6689c58cdb8aeb7df91bf73c007ebf 2531320 why_2.25+dfsg.orig.tar.gz
ef66f9f64be8cd1bcff752f29c4f1aa85173de670475fbd5567cc554596e466a 9158 why_2.25+dfsg-1.diff.gz
c672a64240326b899547ca1de0b8225badfe8ea33c70bed833f16d9a1571938f 8546978 why_2.25+dfsg-1_amd64.deb
0f1b13ca5ec03823ae949d2f491b2eafea02edd4596767e8fc522fe7ca600d25 186642 why-examples_2.25+dfsg-1_all.deb
740ff34ddaeef0a6f9eb2da679151f413c450e4b23484dd64580a670144964e4 508162 libwhy-coq_2.25+dfsg-1_all.deb
Files:
8a626c04951e22a11289b57391748f44 2205 math optional why_2.25+dfsg-1.dsc
b3e11fe4ba0f7a816ea4ef2c76f76602 2531320 math optional why_2.25+dfsg.orig.tar.gz
8f87e634e5ffbf72ab1cbeeaf89cc7a2 9158 math optional why_2.25+dfsg-1.diff.gz
6efcb448773893d74bd563e54a3eae64 8546978 math optional why_2.25+dfsg-1_amd64.deb
1e2d13f323d6fa7fe0da37ef96c2722d 186642 doc optional why-examples_2.25+dfsg-1_all.deb
cfb81fb804795b6a27ca59506ac21c45 508162 libdevel optional libwhy-coq_2.25+dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJL1vaKAAoJEDO+GgqMLtj/mgEP/287fKyqmyYm9e4G0C0mVyrN
TGEa9ahu2ULm4yXFbyUrPgEvSUftAzOJiYq20WLBv5vrjGfLmWASWZg1m5hurrTP
N4hmTp6BuuI3Ew5kc0Nt3+fI0rzn4/iWjgzoX7eH/gWk9XU2YunEjzEtdpGthAYV
F5rMEyZAiau2SRVSUjEQfr/I6L2+rvOXTAGnhXnsAjf2BI2ABnMBvUMKzajnQ86u
cVM8fpBzRPrhZHn+l3nCElQHjX2YRAD6vEnMIpX+Vi8jjQU3mlLF6JompW8wfADY
yPso/kbGv86RkhaG73t8StrIb5M3PMRRvmVzhdE+BLyIyNXdbok3dBcog/7krX04
lzT8WNnU9ipGFtEhgpX+RE3BaY1S0vUtyo5WmkfDID3f1S4vz1S34fUUzgOdamGr
fLEJ5a2azqG3Mwo5XS220ZPFgUShDZX6y7PuLqa7k1Nn+JRQw9JnbwedDpT7XqgV
M7QOHAyWMcbovbJMSywbGCOICCcnCJbAT+s5sDCDXr7Nb/Bm9wBulc/z4jgiksxU
fQZ9Rciv/HeKguGPFWR4dFBQYo0lzCBzs1y2gK2c4qlvEAJ0EUz5glxBJ2njCzm+
kFZ2f7oiRt3W+a/tpEW5Fx61bgWdXYD4X+hQ/gW6a2bFA5VzWhmUPsTPqe+LAJdK
33Fj7uipo5Doj5aYL/B8
=paY1
-----END PGP SIGNATURE-----
Accepted:
libwhy-coq_2.25+dfsg-1_all.deb
to main/w/why/libwhy-coq_2.25+dfsg-1_all.deb
why-examples_2.25+dfsg-1_all.deb
to main/w/why/why-examples_2.25+dfsg-1_all.deb
why_2.25+dfsg-1.diff.gz
to main/w/why/why_2.25+dfsg-1.diff.gz
why_2.25+dfsg-1.dsc
to main/w/why/why_2.25+dfsg-1.dsc
why_2.25+dfsg-1_amd64.deb
to main/w/why/why_2.25+dfsg-1_amd64.deb
why_2.25+dfsg.orig.tar.gz
to main/w/why/why_2.25+dfsg.orig.tar.gz
