Back to why3 PTS page

Accepted why3 1.2.0-3 (source) into unstable



-----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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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-----