Back to why3 PTS page

Accepted why3 1.2.1-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 10 Feb 2020 13:57:51 +0100
Source: why3
Architecture: source
Version: 1.2.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 951052
Changes:
 why3 (1.2.1-3) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Team upload
   * Fix FTBFS with menhir 20200123 (Closes: #951052)
 .
   [ Ralf Treinen ]
   * drop cvc3 from Recommends and debian/tests as the cvc3 package has
     been removed from sid.
Checksums-Sha1:
 470482c12b42f501cc4a5cfc90f2db68e132a34f 2421 why3_1.2.1-3.dsc
 3d7c0b015259d0d9bf24c30383d047b009aaf617 17532 why3_1.2.1-3.debian.tar.xz
Checksums-Sha256:
 080279720fb443a6c2a2876ac9ca07c9fb8f02b7df3e410ecaa50ced239df028 2421 why3_1.2.1-3.dsc
 f8d110d0a40268603b40b5b821d581a7ec4d1a785a2e1c4acb02c62d8c84c73f 17532 why3_1.2.1-3.debian.tar.xz
Files:
 8d2bfee975caa3b77008005c7491c11c 2421 math optional why3_1.2.1-3.dsc
 85b5a88636a82f116eb6587ba75d8418 17532 math optional why3_1.2.1-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl5BcGEACgkQIbju8bGJ
MIEEwwf+NPSHj62E6HuErGZkfSc4y7Wv69uA9S0uFa7HmNBVulZXFrzK/3xTM8Qh
gHWxCh0WObuSI6ffrPifuE0i6l9kg2F251VBd2v/GXlStPeCoDUHJdHDuNVbyatR
scCseii2cNwidU/faZVYVSxOyXukKznVWgMCTr8sIK1Iu2QEk+THLEfsQiZ2VZIG
aveivu0Eirzn+R8+XpsgzdwyjwmbAB3EkjKWaZTz250T8vNi9EdH5S4vPJSB3bTU
U9HyTc1FhhvWxjCY0cPW9FTd7c0y1jUM/wMDyUwLTpVKUHRb/sZSz31K24mpz7cW
4g42Dy3yvL//kqdwp55XZI+EapDfEg==
=9OJF
-----END PGP SIGNATURE-----