Back to why3 PTS page

Accepted why3 1.1.1-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 03 Feb 2019 23:01:38 +0100
Source: why3
Architecture: source
Version: 1.1.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
 why3 (1.1.1-3) unstable; urgency=medium
 .
   * disable coq support.
Checksums-Sha1:
 165098292881e02c7cc322485abca02a9db6c9cd 2529 why3_1.1.1-3.dsc
 d06854c0d47f9f98785f679cfc6957c5c60c419c 16200 why3_1.1.1-3.debian.tar.xz
 7ee5246563acfba7bae9d7cb1750ece34f5d33ec 6210 why3_1.1.1-3_source.buildinfo
Checksums-Sha256:
 324fea99c12787cb7a1e5ac85377ff82ee0d8d7765c8c14851c938f934f86c0f 2529 why3_1.1.1-3.dsc
 c2d289afb731e19b15a45c60afd8094f2dac5890d16c7384ec834d9f5ebe046b 16200 why3_1.1.1-3.debian.tar.xz
 d5a192f29dd06d5cabeee3024d94b9934ad75410874a0462942eb12657cfa64b 6210 why3_1.1.1-3_source.buildinfo
Files:
 12596418453491e0ff020bcd0e135db7 2529 math optional why3_1.1.1-3.dsc
 a21f76f3c26a60660410425eea22823f 16200 math optional why3_1.1.1-3.debian.tar.xz
 eca0e5749fba66b0579bee8a083cf62a 6210 math optional why3_1.1.1-3_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxXZmEACgkQdFxHZtTK
zf8Y7w/9EKsDRgmC+0CMetqLvRzzHSbMBDPs8EICy5sVB/h++aTQifCDa8A+xmHT
shb5gb6T2WQgeWVRZq7PpxkbxEAFS/T13XlwCNI6wYaxC4sPiXDTo0JHpk2VAxcm
OceHNwg1miQpEahzqG84ADXWnE0sv1vxF5J8qUwiLKKgJSYPogzwmWNBATSfDsfW
IIclKzDoAKMSs/qBtriXD2AOw/pJT8S4sbgdAhiBvwDZvWjhxVJvwIuC9wM6SmzG
z66A+R2D+pA58tX2y/bbh9QhxzqQlRfgLE8UPoeanGOQGmi3Qp+XV+NAZSgKXkIU
YDJaYFL4/dADsH5DSVwDZT4r9Vg+dU9oCIMDMaMVj3mjZlLvnU3Eib17LYgTXW/p
BmyyTprWye4tc239IFJqM+q7wZeFQKkNISo7nK9Yx7Ym0h62ZHAx7orNG/IjVHRT
2LkTK6/nRG0NABYOhxvsyBFJzqK+yEPDaMFg3HZ+Y7SQcvNBkIRFhZdWiD6omrH5
o/iwrFYuODikOGiprTpoK3q7xg9zHe0QUhBYq/cyb5ERJHLFa/fmpiR+drv5KLqs
j5C1aFIlMcCTRSTR6fJVZ3OcDVxpe7NEMwO0X0WRfhLu856kqvhnifbjK1U8oeeA
5+Fi7aaCeil13X0UVCieOBrLUwT2EUBumMOFCGAe37S9PTbTW3A=
=PJuc
-----END PGP SIGNATURE-----