Accepted why3 0.88.3-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 14 Jan 2018 14:52:54 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-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 (0.88.3-1) unstable; urgency=medium
.
* New upstream version.
- drop creation of empty directories in debian/rules, this has been
fixed by upstream.
* Standards-Version 4.1.3 (no change)
* debian/rules:
- fix configure stamps
- drop build stamps, we do not need them.
- dh-install: exclude extra LICENSE file
- drop override_dh_auto_build
* debhelper compatibility level 11
Checksums-Sha1:
1e37d9e62e108b160946dd4525a2333db433f627 2642 why3_0.88.3-1.dsc
219c136df08209ff1d293fd408bbbd5b69e5a27e 4245737 why3_0.88.3.orig.tar.gz
51c680932b7aa1945ad9b3e344521a247189807c 12624 why3_0.88.3-1.debian.tar.xz
896e5d35041d7d27b49855213fc7f7c423c78ec4 12168 why3_0.88.3-1_source.buildinfo
Checksums-Sha256:
9ade353215c084ab5fdcbed89d0ff91aac40ad1fa75a1af7becf495a0b25f4f0 2642 why3_0.88.3-1.dsc
3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 4245737 why3_0.88.3.orig.tar.gz
425c3d27e0a9e2c55faa861bce3924d4920e1892cc539b1c651f1718e3669f88 12624 why3_0.88.3-1.debian.tar.xz
093c3bb7ea0f8e8e47c97eb7c5c7a0519b90c20f503552cbdfe6f0760a7fa765 12168 why3_0.88.3-1_source.buildinfo
Files:
925a4fd13e8e0e115f2889ab466d0eb4 2642 math optional why3_0.88.3-1.dsc
1ee0fd41075ba5e77a4b94ad0cc2dd43 4245737 math optional why3_0.88.3.orig.tar.gz
b003f5bf96b08673083051bda3781f67 12624 math optional why3_0.88.3-1.debian.tar.xz
1e3f4e7607629c3a8df92cb2b717829c 12168 math optional why3_0.88.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlpbr/QACgkQdFxHZtTK
zf8FFA/+OvRby0JdUOuXiOasDbz/+cIjIi5zfVLbZQPpnKHzpoxk9IKLLDNIdF1Y
Y1iFdmVY9+nbPDXVOoBRMkbazIaWxbjMSwNReGIluSb8PRa/VdbXR523d1aUgyud
9VAC5FRZSZkmL2cgmwAPoUt+RiTcfhWgICm8Cgx93QQg7UcYMW7hcZQzWo8+FAdm
ny7OZCATVGa3Tgk2hB5rzwPhgXARE91nYcElEwc4HS6SsjO3fjTJAx42cvheOOmq
wUfAh7xTvc4zwelcxtAIZ35IkKSZpTLLxBpUx5aTgb0Bg6nO1B0hBn8AeR0G+cQ3
o+MmhZQ4iRFaeakV31wuH9S//MJ3V4a5i57/2kipsx/r70yun363vn818l1xhCL7
FfUDBBW24M/5u/uwrKqgJeN8dwoOfXGEclfWTvNbYC7Xa6Vw01rqXfTALEJwXBrh
GuQ+p8iUcY9Vkic0RUpaPNcAS+HbJVicrQiabdnIfwZa1ZoBvi+LlXlZjhrAhife
dSKBkZHTh8ke2g8V+oCtpgryYG7CDzHEMpX1jkVUV+P+W/Ra7/QkJiMIKnAeDPwY
782G1j6pG8AmP/2tyKLOPvwh4/HYVWiGF8VRSVg0n3ZKH8OosLQ4QBEd0DiwL2qa
mrnjvPhkBnQhatqDiPH4pYQH75BUU0cpbFIhTKciOGLMRF8qr/M=
=ZVf8
-----END PGP SIGNATURE-----