-----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-----