-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 18 Dec 2018 04:50:38 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.1-1
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 (1.1.1-1) unstable; urgency=medium
.
* New upstream version.
* Fix whitespace in debian/{control/changelog}
Checksums-Sha1:
b703d80241f92b32317d1d39560d7ccb80ddd593 2557 why3_1.1.1-1.dsc
9074c77a9867dc099583029bb60cdd0036d76f2d 5551050 why3_1.1.1.orig.tar.gz
cb672e5de7c4c4f58d088886d1e64b53780fba84 15980 why3_1.1.1-1.debian.tar.xz
9577f0cd4a14de8aa61231400bf94868afaee8fd 12537 why3_1.1.1-1_source.buildinfo
Checksums-Sha256:
ecd3f8cea8380be881a43673cca5487d032e97d6434d8720aeb5d8f676baef8f 2557 why3_1.1.1-1.dsc
defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118 5551050 why3_1.1.1.orig.tar.gz
c944b92a16eec22aa071ec4aeefd1ef261540813dbc82795e55f25fbde016872 15980 why3_1.1.1-1.debian.tar.xz
3438b22156f19bf2dc3b2668b68a23ef4fbe40ee2427ea1876bc4d97b8b254ab 12537 why3_1.1.1-1_source.buildinfo
Files:
e37055d5c2ff76feaad62adbea7715e6 2557 math optional why3_1.1.1-1.dsc
529d0f3b4ffd91aa9d5f49457dff5dba 5551050 math optional why3_1.1.1.orig.tar.gz
cab538118b3bc5d037b92fb0644b1899 15980 math optional why3_1.1.1-1.debian.tar.xz
a366bf3e0177a42ab683750486920e84 12537 math optional why3_1.1.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlwYqH0ACgkQdFxHZtTK
zf+dbw/+PkgJ4DjMZgtgrtXZSVN5lFWQQ3MKq4rjnajNn+gUxfXb4N6lTJfFEBaD
kh5oA+DBWGU/1wBIBR9GOTI2uDpgOcp5SXRaTD5cp2lBED3xPjfuzsu4qhYe7bBX
7itn4cnsJXg8kcuOZIkBrnvltjpplfiBogrcJRpWmkGR7ESKWbcENoIdOGDppLbM
GIf2N/kgtLe6ubgBKzURWHpmFEHkQK7ZZlojZq8HDFR+GwegdjY0NmUwmWXrbeKo
mJc6A5Qq8yJeCalyYZgpxJV2ZHsyTiUimrFsqCjD2GdjY+1v9PYSAndgfipqMfcG
MYNHd+lW6ULoHnaffgxY5qRXK91CEHQgr/Q/ZqIChtzqT/u8amiQyS55MhfwWol9
7pzrlaMTnB2LEjTcIRdLYcdIhcMICxpAtHXlR7Az6ZUd9/Eqm3bnAnLsoBVTk4bZ
9AciXPv7BOTJ2w/YOlZKg+cHBs5ITz2G4tSYfj/XSRHVde7FB+Sy2RDh13Kwui35
N+RSZ4RfOBMOjmcTCOQxk9JytFwujeSXy+JsR+5ggubZcb1kQbzjv+RQTuPUNpvu
lmba8V/yzGIM6o+FXtfauGPXKBogU/zFEaO+Yp/1YzP6LTuCI3GS91DofqqNnFfv
Q3mOAGCr/zHW/rh1rFEFZNFgAqOR+QqWmE/TOymixTjRqmKuQLc=
=3ket
-----END PGP SIGNATURE-----
