-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 15 Oct 2019 20:42:34 +0200 Source: why3 Architecture: source Version: 1.2.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Closes: 942344 Changes: why3 (1.2.0-3) unstable; urgency=medium . * why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344) - add a version constraint to Recommends - add a version constraint to the dependencies of test why3+z3 - flag test why3+z3 as skip-not-installable * Standards-Version 4.4.1 (no change) Checksums-Sha1: aa49ca57e4ebe1026c9f28b44fb8b87a163ebe33 2634 why3_1.2.0-3.dsc 8b833a4ea9da93421187b638b993610cfd14cd7c 17784 why3_1.2.0-3.debian.tar.xz 4421d9395637ba47904ed3260ab045f39d0abb0c 15890 why3_1.2.0-3_source.buildinfo Checksums-Sha256: 73fea5c049b521ac4884890148f33a4036ba06f78d184fb219afd3742f1bd785 2634 why3_1.2.0-3.dsc 5f0474ddd4cb5a71d9c818c20b46d8801105604c72d89f207cf253a6516aaafc 17784 why3_1.2.0-3.debian.tar.xz 4c8864917efe73b5b6fd6f8db8fec8e4703e82bb1a64c97c1a3927d315924881 15890 why3_1.2.0-3_source.buildinfo Files: 8fb542d8b7f6524d47ecc420c538a051 2634 math optional why3_1.2.0-3.dsc 0c23c4240a4451faddf4001952be16fd 17784 math optional why3_1.2.0-3.debian.tar.xz 7760e675828746c547bd7ce0179a41e5 15890 math optional why3_1.2.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl2mHmcACgkQdFxHZtTK zf8rkw//R2nYqppp9lqY174wO2e9XrKQcd/qqUfLzIMmf6nq9ma1vyGciDD6oLDp 3xEy1u2CuBn+hiLd5Nc5CxuzDqjQK59XB4ZxmPMt6kk8iwbg9nCk/8exrHOAUCd8 MkCosz0krY8HF7hS5pxP2+1WDLZD1reUzU3+dhwll/NUrYCnYkT1NTnUuecUMOwH M5pgT1rpxCLd/EDFGeqbG9iu7yaQQwxPcmVTAuq2nrRHLFjFuViJqhIrLxHIHm/A 5ZUqKekt1EruZvUQ2y5aecKv/piVRu7b6RzVO8qcP99eRuci1uBv+w2us0X5vUS0 dTn5wEGgEUyccrTllXCACTyibIBWjXLSz4vXeky0+l3ZYRUr2JfG093iXb9HiriT 3Rhgfm1yWjawb2TdBpjfbvCa4dDH2IW+LnXvFvI2JvPf0wqcN8epMik2J+kWUHT0 xngZoPoDPkhBaTz9XmTaHIstWxDrQw5LG/s1QXCCs9ZKD2zBZBRKKIOFUCsb8QKq nLZ8wEeK2P5aRRmmR65fngvxUrKGT+aiX2ZecSm2PqrBJWwuC3GKp4mjxfWVfARz IxEJl5SnDJK6GQrjQqdOp27bKibO1yZZ9l6RyjwAMwmxhD1I8je1Ynht5xPzGSbL jOP8fd9+tCSLTEz1YhcJFhTk1VCY6iamt9O7SPyhesg9miACmiQ= =CxMP -----END PGP SIGNATURE-----