Accepted why3 0.87.0-2 (source amd64 all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 13 Apr 2016 20:48:54 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source amd64 all
Version: 0.87.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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.0-2) unstable; urgency=medium
.
* added a new binary package libwhy3-ocaml-dev
- install libraries in install-arch target of d/rules
- add d/*.install and d/*.dir files for this package
- call dh_ocaml with --nodefined-map=why3-coq:Why3 since this unit is
also exported by the library package
* d/rules: split into -arch and -indep rules
* d/control: split off Build-Depends-Indep
* build and install why tactic for coq:
- add build-dependency on libcoq-ocaml-dev
- add coq-tactic to d/why3-coq.install
- why3-coq: add dependencies ${ocaml:Depends} ${shlibs:Depends}
* build with menhirlib:
- add build-dependency on libmenhir-ocaml-dev
- call dh_ocaml with --nodefined-map=why3-coq:MenhirLib
* build with ocamlgraph:
- turn build-conflict with libocamlgraph-ocaml-dev into build-dependency
- call dh_ocaml with --nodefined-map=why3:Graph since this unit is
also exported by libocamlgraph-ocaml-dev.
* build with compression library:
- added build-dependency on libzip-ocaml-dev
- call dh_ocaml with --nodefined-map=why3-coq:Gzip,Zlib since these units
are also exported by libzip-ocaml
* build-dependency ocaml-nox: needs version >=3.11.2, according to
upstream instructions.
* added build-dependency libzarith-ocaml-dev
* added recommendation (alternative): spass
* added as-installed package tests:
- why3+alt-ergo
- why3+cvc3
- why3+spass
* update Vcs-* fields
* standards-version 3.9.8 (no change)
* patch typos: various typos found by lintian
Checksums-Sha1:
7b50fdc02c4bd2d3e984f1eded6125d8c620e59b 2536 why3_0.87.0-2.dsc
dff88b9a3db13f4d7fa29f38c38762935753fdc6 12216 why3_0.87.0-2.debian.tar.xz
f077f8c4f49510fb79f9b86f1bd6a4f8f33cd467 4656862 libwhy3-ocaml-dev_0.87.0-2_amd64.deb
5d2d5d0b6a4e9ef0b5c51c411743944f5b6a7214 304438 why3-coq-dbgsym_0.87.0-2_amd64.deb
a94be7bb4c1d1993f9fa1c0107bf083aa6e75bd5 5152592 why3-coq_0.87.0-2_amd64.deb
0b2d2e12108830bf8ab8f0a87b3aa7004f084177 3838770 why3-dbgsym_0.87.0-2_amd64.deb
c9f727fde0bcdaf7e8e088df7c6ca896e8c1cbab 725194 why3-doc-html_0.87.0-2_all.deb
fe7a4bb8616852c9641b0c6188c4fb89a4e89f44 1214994 why3-doc-pdf_0.87.0-2_all.deb
04e99684a5910ac54c83cd93c001b9e7f6853eaf 1750040 why3-examples_0.87.0-2_all.deb
65370755c872a8c2331f988c674953a1d6c64777 8273180 why3_0.87.0-2_amd64.deb
Checksums-Sha256:
c7e9f1cfaafadd5a2958339ddaf299cbd06320dfdb5a862ffb84a8f90e8343ee 2536 why3_0.87.0-2.dsc
e36023a1b80b6985ac17f464540b47c35f4f64f786d06eb202374de2ab100878 12216 why3_0.87.0-2.debian.tar.xz
031b222cdf1508f766759fcde22e1a5e910085c50b464cf8416b676350d80218 4656862 libwhy3-ocaml-dev_0.87.0-2_amd64.deb
d95e11261a175e9e30b51e3185c8e7aaaef5b1a1475be7bf1c0f37c279fabd1d 304438 why3-coq-dbgsym_0.87.0-2_amd64.deb
1f4ed67cd99640e7ca5c0fe44339161e1a6cd1bf727dadb399c2e7cc189da339 5152592 why3-coq_0.87.0-2_amd64.deb
84f6ebb1aa3296837c063cf950b9e59f95b4214f466def65a82f7a4fb9af9b13 3838770 why3-dbgsym_0.87.0-2_amd64.deb
b36b27d8eeb7589a9bf1c9246b476380583ab63dd90e7c1ed9a3fcdc0c253a18 725194 why3-doc-html_0.87.0-2_all.deb
9fdcc22c8043e428277b8b99fafee724a9b6a1fafc46023e915b5321d2373fd1 1214994 why3-doc-pdf_0.87.0-2_all.deb
73ee3be0eca5901a0476d72bd005a4d0610fe4237800a7591a423e167efc4ef9 1750040 why3-examples_0.87.0-2_all.deb
d7396143af5e1ea295bd793e0c761874d26537506f5828c779c86778e1d5da5d 8273180 why3_0.87.0-2_amd64.deb
Files:
c5a536438baa9721465802bc7bda7f08 2536 math optional why3_0.87.0-2.dsc
70da324d818ef60ee444f2028e662f53 12216 math optional why3_0.87.0-2.debian.tar.xz
ec6a5a59578d22f70a71e716813d8be3 4656862 ocaml optional libwhy3-ocaml-dev_0.87.0-2_amd64.deb
06d037e0261508dd74e5c6f6d7f7aac2 304438 debug extra why3-coq-dbgsym_0.87.0-2_amd64.deb
b34950b7de6270c97a4b8f50f125cf69 5152592 math optional why3-coq_0.87.0-2_amd64.deb
eb53e90df7392ce599f376da1b765417 3838770 debug extra why3-dbgsym_0.87.0-2_amd64.deb
86c98b1f794addab71b878a2bbcf08ed 725194 math optional why3-doc-html_0.87.0-2_all.deb
1d8d82848046bddc587b2a24b30584cc 1214994 math optional why3-doc-pdf_0.87.0-2_all.deb
0150e0873a065970e1a7b0605f862a25 1750040 math optional why3-examples_0.87.0-2_all.deb
a23432ccca1bd6118d96e93c486b3b0e 8273180 math optional why3_0.87.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXDpxhAAoJEHRcR2bUys3/tj8P/27oIyllrngxEiflGckvqO5a
UduQU6aYElrJ7v352qcP2veX3/RB1u179wuQ0HPzTxAaZLAsH1T71vTtLYsUIW9J
AFETJKXEy/s7UbAQG72ZnoGVx6liQJ+Zi97HvrxVEzUkxUpWCc8D+BUTfixKODkR
khDTEvI1Ikm4h7JlH3j+u/2jLBdzYQ8ANFGCwsg46Ris126WvSnBzjRiBAxU2fFw
fYbWccVDCDePtM5f9Zv9giJsaTuE0FuJD2C7C4sYUueOT41zVAJmzmLP1Q80dWac
EqRQ6ZQ00p29MrmotTHIaTAYr+vIQCCuCJ9oAwtDOFyIcDj5djk3uI6RdH+Uf3ea
6GB9jVy3mrvgBevpsA0gp6tt60p02H/7j7AJTXYUShdY8s5u9s8LEHqKX9c//ztm
kZEVGi0FtE4N3NcUJAKe8jb/jZDk1eBnOdJbJxedbLlt2cYIAEtS3Wa76e0Y94Ix
U9mlLjuwEDwhAIyH30Rpbk0q76wFUjvIm0FEr8V0lAbusxW3M835FTQLscdfEaXg
PyjXvyIVQdL6VUSIt2SEpohgxVODUX319NX16UFNLX2AqOmZUysS4D2LnX6Nj2cJ
Q7zful9xOTnlhS0tGH0lEohSs+9OEzkfWzjTXSAhrwPzCMAoY42loJ0pEgnpOH1R
A5YKohTFfwDxPgvseZMP
=JPsw
-----END PGP SIGNATURE-----