-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 01 Sep 2016 19:21:22 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Description:
libwhy3-ocaml-dev - ocaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Changes:
why3 (0.87.2-1) unstable; urgency=medium
.
* new upstream release.
- d/rules: replace EMACS=no by --disable-emacs-compilation
- drop patch typos, applied by upstream
- drop patch drop-timestamp, applied by upstream. As a consequence,
we drop autoconf from d/rules and from build-dependencies
* add debian/tests/why3+coq
Checksums-Sha1:
d54114059edfd7d27898e843fe038aad845a1d2c 2569 why3_0.87.2-1.dsc
06dfe92394eb3e8d51a7c146fed6cf5cb013a72b 4480295 why3_0.87.2.orig.tar.gz
cff19d3116350b2c19ed70db2d2e6a01e4e02ed5 11244 why3_0.87.2-1.debian.tar.xz
Checksums-Sha256:
b5e5d480f875a2a4da8cce78cfff56e11e5f5e8be3ca9bfa2addd42c886996a6 2569
why3_0.87.2-1.dsc
593b38acc700a746ebfd740b83860b0aead6b51c09a65c678c2f094e36f49111 4480295
why3_0.87.2.orig.tar.gz
a086b3e2dc7b176839b9e64a607d013b2f80df2037194ba667a7236acbddb918 11244
why3_0.87.2-1.debian.tar.xz
Files:
b6b20cbd95bd22b24955136bd6673673 2569 math optional why3_0.87.2-1.dsc
9849179d6f02587a8fa3d1b6afa13479 4480295 math optional why3_0.87.2.orig.tar.gz
513895ef13841c921268c5513f425fb8 11244 math optional
why3_0.87.2-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJXyH53AAoJEHRcR2bUys3/DHwP/iYC5mVgAS+U3d/NJiSoC1o5
FbaUYbDrpWcksS7752LpSTJJh3ujIvvQagYRV091vE6FuC3c7adYm23+t8LghXYK
1f1+FsmhNA+EFtl8VqqIq3FKNczAF+blrJCEXDCKMbNrGoQsshmu5CUac68gG/nE
tD/l18LbO3RA00vQkLFWgg+WgdwsobAAZYNYb914pxAAgnW2KuG6sfcA5cXFp2/H
m0uUrI+Yf+F0G0VUAu2SnZAIQ0ehWo5VN1PNEVxCdqyUxvMviwBfZKyMgDUyWjSu
PhXJTgcozqHSgPgfT9RUPNrqaU+CY4xIhBZZr5U/g4NUi3KeuTMmp6mTZkbD6Rc9
0YjolES8tNWUUxjZ4VsQfvHFNUKa3zJBGsgUCJED4q2sByOG+rf25Kbx25erJ6zp
KW5YPgjtsXrnU5/nM/0jkZDXFupdK/+oGFuqA+pQhNBkblV7Ne0lonU7C3NrkOX5
3ntOqMu0Foqmc6K1XRNGfznZNg85cdS/HjqfVYYGKwMvSO4hBt1eKucZhibWybqt
AVX1agGPSAyrXDw9tss1UQZuZIVQuWmzKk339kfcEcqkFG3QfuzuX+hqzCPT4QO1
SRzoRznSSc5Cm3nWewi+LKyk6AW8iqhDisXK9ML08qJO+kFunrdHbrW+a4OiAkKu
WT+QpXtqYKWKk+P4PaP5
=N4iI
-----END PGP SIGNATURE-----
