-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 10 Jan 2019 20:12:24 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 1.1.1-2 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 Closes: 918633 Changes: why3 (1.1.1-2) unstable; urgency=medium . * why3-coq: depend on the virtual package provided by coq and indicating the version of the coq ABI (closes: #918633). * Standards-Version 4.3.0 (no change) * Debhelper compatibility level 12 - override dh_dwz to use --no-dwz-multifile Checksums-Sha1: e44819187d36a1059af49d4520267b4f6e634445 2557 why3_1.1.1-2.dsc 21ba56ed06b115d6335e61aaccfa86a2c5a2b74a 16168 why3_1.1.1-2.debian.tar.xz e98843b7ed5c860385222e87221f494db73afecd 6857 why3_1.1.1-2_source.buildinfo Checksums-Sha256: 34691b6e0f26b7c1618917863f4abce5bb7504b50bc6f6d958678ab7663a9264 2557 why3_1.1.1-2.dsc a52c784c56e4900f974c56bd5d50b5dff62dd7512456aa1296736f1a149ed392 16168 why3_1.1.1-2.debian.tar.xz 458891b11e10e0440a37ae24479dbf1753c92400ef66bd875f38991e8f8d732f 6857 why3_1.1.1-2_source.buildinfo Files: 65f33c12111e9a9872b5af2cdd2fa584 2557 math optional why3_1.1.1-2.dsc f205600ef2b425e7f3992b235b55604a 16168 math optional why3_1.1.1-2.debian.tar.xz 4f5d1d7f8166d09321531e3e18186305 6857 math optional why3_1.1.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlw3pqcACgkQdFxHZtTK zf+KeRAAncjVy9fganXfRcAWmaN+p6QhEEh6LMC+cL8E+0C7IQ2l+ADEpvshjF3E q2Wz3W5HKdG7nYEgrg/25t+8ngDBEUMDRWYc0wpNlwae0Y2krzjMTGoiW/CpqqSl fZEb71hBXtOFb6uU8pg2dQP+VUGWyN2DWBRN9O1Xp3Pov+2C9jRN8PSm7uumJIhR TTGua8r7vO2YK+j0aIpJClbn4FXYTh2XA9AhWxwdDkms4izE7jWx+uRnMagHCs+b TF0yv5JO2fjlUKWFmwInrKlt5eImHbnWl4Yee4FExM27iYMO4IuAbwpq0iPIPaur pt6jD6JeEOmEsgkQWPoHTaT5LSrPnEXBHFn4ewVRbgGGBf6srea4fupOAjmixT5H toLsfCII9FCoi+pVJi+cS2kQHZWsKkSy6ZqnKn8aBJpw5dl1NeW01uklfO2BNhrl 0/vSQdEkzjVVD8MOfJ2/bNEITQxKN9F/QDi536Y0foeR3YmBnzU2mHMuKgy7s4cW JAFs3BZ2dr/1FuIaRJXOfiUC6kCMeW8Nge0w7cnXGuRd1aqk5s8a7xe//jPvaEwp aveHfvCbQOARxZA1opnsRLqyVsRoqWOhFwIrEcg2vq2+uBxiLjH/JfEZjhwPCNVj 9NyTyJCP0GgEAVf5g+dIvue2URR2O4uGLgBvY2wPABC4dqxJYuQ= =SZEs -----END PGP SIGNATURE-----
