Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 10 Jan 2019 20:12:24 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@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
Closes: 918633
Changes:
why3 (1.1.1-2) unstable; urgency=medium
.
* why3-coq: depend on the virtual package provided by coq and indicating
the version of the coq ABI (closes: #918633).
* Standards-Version 4.3.0 (no change)
* Debhelper compatibility level 12
- override dh_dwz to use --no-dwz-multifile
Checksums-Sha1:
e44819187d36a1059af49d4520267b4f6e634445 2557 why3_1.1.1-2.dsc
21ba56ed06b115d6335e61aaccfa86a2c5a2b74a 16168 why3_1.1.1-2.debian.tar.xz
e98843b7ed5c860385222e87221f494db73afecd 6857 why3_1.1.1-2_source.buildinfo
Checksums-Sha256:
34691b6e0f26b7c1618917863f4abce5bb7504b50bc6f6d958678ab7663a9264 2557
why3_1.1.1-2.dsc
a52c784c56e4900f974c56bd5d50b5dff62dd7512456aa1296736f1a149ed392 16168
why3_1.1.1-2.debian.tar.xz
458891b11e10e0440a37ae24479dbf1753c92400ef66bd875f38991e8f8d732f 6857
why3_1.1.1-2_source.buildinfo
Files:
65f33c12111e9a9872b5af2cdd2fa584 2557 math optional why3_1.1.1-2.dsc
f205600ef2b425e7f3992b235b55604a 16168 math optional why3_1.1.1-2.debian.tar.xz
4f5d1d7f8166d09321531e3e18186305 6857 math optional
why3_1.1.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlw3pqcACgkQdFxHZtTK
zf+KeRAAncjVy9fganXfRcAWmaN+p6QhEEh6LMC+cL8E+0C7IQ2l+ADEpvshjF3E
q2Wz3W5HKdG7nYEgrg/25t+8ngDBEUMDRWYc0wpNlwae0Y2krzjMTGoiW/CpqqSl
fZEb71hBXtOFb6uU8pg2dQP+VUGWyN2DWBRN9O1Xp3Pov+2C9jRN8PSm7uumJIhR
TTGua8r7vO2YK+j0aIpJClbn4FXYTh2XA9AhWxwdDkms4izE7jWx+uRnMagHCs+b
TF0yv5JO2fjlUKWFmwInrKlt5eImHbnWl4Yee4FExM27iYMO4IuAbwpq0iPIPaur
pt6jD6JeEOmEsgkQWPoHTaT5LSrPnEXBHFn4ewVRbgGGBf6srea4fupOAjmixT5H
toLsfCII9FCoi+pVJi+cS2kQHZWsKkSy6ZqnKn8aBJpw5dl1NeW01uklfO2BNhrl
0/vSQdEkzjVVD8MOfJ2/bNEITQxKN9F/QDi536Y0foeR3YmBnzU2mHMuKgy7s4cW
JAFs3BZ2dr/1FuIaRJXOfiUC6kCMeW8Nge0w7cnXGuRd1aqk5s8a7xe//jPvaEwp
aveHfvCbQOARxZA1opnsRLqyVsRoqWOhFwIrEcg2vq2+uBxiLjH/JfEZjhwPCNVj
9NyTyJCP0GgEAVf5g+dIvue2URR2O4uGLgBvY2wPABC4dqxJYuQ=
=SZEs
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
