-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 17 Oct 2015 01:12:21 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source all amd64
Version: 2.34-4
Distribution: unstable
Urgency: medium
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 - Software verification tool
why-examples - Examples of programs certified with Why
Changes:
why (2.34-4) unstable; urgency=medium
.
[ Ralf Treinen ]
* improve as-installed package tests
.
[ Mehdi Dogguy ]
* Fix FTBFS with OCaml 4.02.3 by:
- not using Format.bprintf anymore
- not turning warning 3 into an error
* Port Why to ocamlgraph 1.8.6
Checksums-Sha1:
24451880239d6fac7dc722bd122df1ab10251d12 2349 why_2.34-4.dsc
ae956a75d107fd0a6aba1b8fd5cc640187384576 11224 why_2.34-4.debian.tar.xz
2840b17885336d0d86e7e91ed951bb916b743410 244518 libwhy-coq_2.34-4_all.deb
cb2134d387159ede1999f15427e67b636e7e60f9 142608 why-examples_2.34-4_all.deb
c927f75f006e030f2996131df42c514fadce177d 3799810 why_2.34-4_amd64.deb
Checksums-Sha256:
3b8d27338b4dfbf9eef39878262d3d049ad1bb9d5504360bebab69f642ac192d 2349 why_2.34-4.dsc
425953af6e0d0e342f38c41999800dd442808e0be0858181a4880c510efb08a4 11224 why_2.34-4.debian.tar.xz
1a7fca5239d3cb7b44123fba75cdb85f86844927b0742924c2066edb0b043222 244518 libwhy-coq_2.34-4_all.deb
2e1b3e1dd6384553526fb3e21d93debdf46310bc155eaf54ff0b5f96f81be59d 142608 why-examples_2.34-4_all.deb
bb3005a86e9d777ee20057864e86d41f60311f687583fe16855bf5bd3c78c20e 3799810 why_2.34-4_amd64.deb
Files:
c51d0e7e87775a9dd69ed23d0481500b 2349 math optional why_2.34-4.dsc
bee7226d8d3fd28d4462262df8ffcc17 11224 math optional why_2.34-4.debian.tar.xz
12c1c059804c95044ed60987b3bf75ea 244518 libdevel optional libwhy-coq_2.34-4_all.deb
190bd659a9d642bc671dc28725df6a2b 142608 doc optional why-examples_2.34-4_all.deb
aec2b2ceefc10e4365bdcccd83973638 3799810 math optional why_2.34-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWIYWIAAoJEDO+GgqMLtj/52AQAL6xHQtaKWdecqtMghMA+pYR
5gAG8/zr66m5mIWiFvQS0RNwT8/nJL4FtV9cuJ1Iz0vOvjHdTKGTt/vjcpBxXmel
QWvkJvhhlS4uncV0FSNw3tHDwnEXYT4uxAjhlskZq70OWOiwYnu12KL5aV4O08VX
LRtj+N0HqkrpcnM7W7nyB6Er2ZOigQCqZivZ+8MK/vKmdjlBexP/HgbSrz2LK6Le
9yyjloH5FVUq/enifqxEBqTaPu+a9cd+WFX3huOz9mfWjk+j/8C0WDvB9UF8K2lj
9A4Ori+YEU8U43PBMo2ob+TkwFPLI1ufYjpdvO66qD8unbJWbZKeQSUUsja6xTnm
nirs4pinTPFelk7gBmVBpa5/90WcumFkfebpwKM4Re35ktYdSO7860ZOdKsRcOY6
GA8XgQFsfYENtE2usRLG4DhhMWKL8jjO38QaI5S48N9OTu/Ff0RWcdqmVeedF7XM
iQ3ZRfC+mP8VARSbXnlbYZPsZ7gSjwrv5LfBfMOAyLTYlVD+DU2i3Q4Hh/872nmM
lYxG5Z/EKb9v3BXUCXbfuleqwj+PSvmfJ961x/F1j1D3W3pbJKmvNotDgDl0chbj
8TZlrJquvyP/5Qe+5cdig+IoL/pdtmqk0p49CJb+Fl1UEzUzkblJssqcZfs02URV
KdcZYceVAZKl/f97uaUE
=mUbj
-----END PGP SIGNATURE-----
