Accepted why3 0.87.3-1 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 12 Jan 2017 16:56:47 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-1
Distribution: experimental
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.3-1) experimental; urgency=medium
.
* New upstream version:
- drop patch coq8.6 which is now integrated by upstream.
* Fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install
* Capitalization in short description of libwhy3-ocaml-dev
* Drop build-dependency on autoconf
Checksums-Sha1:
69eeb2bcefc2fba2f5994fdf40f6bc4d07a579ef 2613 why3_0.87.3-1.dsc
7501ee83ffa8b738f075efbeb0f134c16d7a3c08 4501588 why3_0.87.3.orig.tar.gz
7eeb2986fae4ab7974bda31934cddc9ece1e7d29 11552 why3_0.87.3-1.debian.tar.xz
Checksums-Sha256:
a82dbca59b8f250916c1aca429e6a76566f192ede15571ed4e4455b9592fdd3e 2613 why3_0.87.3-1.dsc
6a8ac5539a65a5e2c63f46e3d8f9f69059b931e261fc4caca879d218b8d9c9ba 4501588 why3_0.87.3.orig.tar.gz
d1de0933e47dd956db5eb688fcb3d0e3c9ad708d14de0b1e88112f4208d94cac 11552 why3_0.87.3-1.debian.tar.xz
Files:
b3660ec814fb1a5754150f615b3e6f0a 2613 math optional why3_0.87.3-1.dsc
ea24a4877ca09e2ec4fff19d5f4d35c6 4501588 math optional why3_0.87.3.orig.tar.gz
85d515076875db8c085fcde9aac2415d 11552 math optional why3_0.87.3-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh37vwACgkQdFxHZtTK
zf9AJA//XTjR1m7xARhYRQiEDbephJLI/W84lx+aXqCTWFfi/DL4xgr220id2X67
ytgzGEPEpkzmDQYnw8Js9argHvSfVIJ+RGhc1MhQPAmr5ZJ7wQGhz42oe/dZFC4+
EAO8gO8sQacaokNLf5agZPV47h+va/kDh7pfDz0zG9sa7U7QCLq4qOcHHx8VU4kT
zwb6DJ1Rjueg0WLTjDEhSS23ouMw8SlWdHIvO3LhHro1wZZ/42iMbkyBGp2DNlcb
PDNuVKHOgwIyYRbM2rze2UAAXhUwZv74ytB0Xyp5l+GKCWgRcq3K20QTq6MekSri
uBSJFosf3Zd6iYk/0J8yZLjFaHyxz1/QAnJ2ddrCzcL6fAanfvSSJAVLKmzggxde
/nDHEl4FnoOjiEIk5vgybI6letYp6eFUATmxm9UGbM8aCcLYBVfSOJ7B1d/35oo4
BjvC1ZtQcoM1MjYGlRWYondAowLVTch+JMiWrUgZylTvvzOtL5XmOhcJkFbgGgQU
+YqtYNVEBEo/FJHLvXf7FnYEUtRethGRdEdwExoQhUi51dSQWbxREa0PYhMmpPHx
Myil/aBrJbb1U6ULNnaFJGHli8Of9x3Uouf5vlyMjfbdUlOA+Dun4xxtCUG1PJcO
xiKn82VAm32TfwglLq5Yfm4CHF6MsF/v8dtoIOoiAiAWl+LNA9U=
=M5/D
-----END PGP SIGNATURE-----