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