-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 07 Apr 2018 11:54:01 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-2
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
Closes: 895103
Changes:
why3 (0.88.3-2) unstable; urgency=medium
.
* Standards-version 4.1.4 (no change).
* d/copyright: https in format specification
* Add patch getopt_long-return-value which fixes a portability issue
(closes: #895103). Thanks a lot to Steve Langasek for the patch!
Checksums-Sha1:
a0a52ac4900b659279165f2b4cd85782d74f8b26 2642 why3_0.88.3-2.dsc
93f773363b95517349ce168feadc75b7876fb56d 12992 why3_0.88.3-2.debian.tar.xz
2e5de66ef47ae1a5498f138bcd1472fcd6665311 12338 why3_0.88.3-2_source.buildinfo
Checksums-Sha256:
e1e40b89064471adc699c9025abd3385fc3d0c0df8b0a2d8f25b3e7bcead9e9f 2642
why3_0.88.3-2.dsc
ba3e27a855241da1fda3a153b26305e186466c690b44aa7226e3a39cb9e89388 12992
why3_0.88.3-2.debian.tar.xz
7acdc9491767d77e3666f48dcd2f800987ac7a508484400bb39905d6cd590e1a 12338
why3_0.88.3-2_source.buildinfo
Files:
394bc89c8c1f2e2ba5cc3b3f664bde90 2642 math optional why3_0.88.3-2.dsc
5f278b38b6f1eeb4908fbcfd86c42f3b 12992 math optional
why3_0.88.3-2.debian.tar.xz
bf816039cbc6a72599bf9f5afb5ff15e 12338 math optional
why3_0.88.3-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlrKWQ8ACgkQdFxHZtTK
zf8dlRAAsK6PhQz5yqkuje7A29D+TdfBtXmzp2ZD/apWhkPvfeBMCYSzt0N3mgQW
tpNDEJ/OlrHdPR9LBKNPATG43bTTzfgt4qhPAY3LTn1iVfOyQF8IOS9JPhMPsgx+
R11ZAEZeSPI+orjKJwiViNLQ3kDWQ2LxFFtYHPDzCetwrDsEdYwqBb//edbvTN0f
k8VuN0REdmAH+NrfP0ZWJaAuYdtIezbZSCE9MDZAIu2BLFygpqAeGzS0G75P1ce3
HTjlt0W9AKd4OLcd4oPg6Ue59o03MKOGGyuNTabZfnu+2bul60Hl7RvvhUcEVx5x
tBUdSB49qgv1/PySW56qo31CWx1XkSgE6LB8vnx8rU1XF8Pix74M9aAcFSkzAteT
1Lt29fl7XCPWOHH8pqtMaRzVxe7X2wy10WD4H8EiGVtC3N2miBngV1RG8P7UM6F1
n0OC+yqkEkAP2n5z4sHhaHn9d4n/QdUTGE0DVCIe5NIqBbXX/Df8jqBjTLqLPnkk
VzwO5mgMDUfUzpXPHRMNzU1g36mC+7mqTPwgfBk8vNT14lTUlHTPXL7Riuwel80X
lQJzLxuV866LBxISsU2d+wNbotPI0CjID6HW8fufL8x70nAI8zgbx3Efv+NJq0dL
Uy6D4sGsr/m1fxPF1JoSlmZteEgJWL3Yx95Pb/bx/+08DxBH0Ig=
=H4z8
-----END PGP SIGNATURE-----
