Accepted why3 1.1.1-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 06 Feb 2019 20:57:54 +0100
Source: why3
Architecture: source
Version: 1.1.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 921465
Changes:
why3 (1.1.1-4) unstable; urgency=medium
.
* Add build-dependency ocaml-findlib (closes: #921465)
* Replace dependency on debhelper by debhelper-compat
* Enable coq support
Checksums-Sha1:
db88481ff2f46260a4285dde318145366cf20325 2578 why3_1.1.1-4.dsc
1b1e18d92d0d05674c8f4b5ab130e049907e694f 16192 why3_1.1.1-4.debian.tar.xz
357eee6c7f0f16ad178141549461838a298c2140 6707 why3_1.1.1-4_source.buildinfo
Checksums-Sha256:
5221008a9914981338038af70664e05a8b9ab6fd5b7f101ed236aa2685e88b07 2578 why3_1.1.1-4.dsc
09700fd7a409ccfd138655719dcf3485818ba0fac945f99694e2d13db63f98c2 16192 why3_1.1.1-4.debian.tar.xz
7279e1e3440fec020c9fe4ec076ba42152f6c12201892daabc4f396436d5760a 6707 why3_1.1.1-4_source.buildinfo
Files:
824b9f693e765e8901566d3393e74858 2578 math optional why3_1.1.1-4.dsc
02998a29df399017219259a8118c2dee 16192 math optional why3_1.1.1-4.debian.tar.xz
8db3d0d3f81e812440f9420bcb3b255a 6707 math optional why3_1.1.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxb42UACgkQdFxHZtTK
zf+eew/+L1OunjVH2Za8vGqHvKFXL6aoVEhvV59+Kmj1eMX95+C37NQQt438bZh/
Dyw4Ma4W6TsXVuMuVlMYEUy2X1bt3/zMTW2HqBiQ86BwY8RvbzfsTpuVdLnLewK0
DWkfXGpTgn02kHOCrJ5MziJcBlUFJMBMxgwQF0kMIiTStZW7JKBEl7haXPjY7sdV
QcHSQCmWsnyyrovON58Ft3y6NQNIVb3F9DCWkCV0xOxsa3WEDMWWI6ajYwNcYQjd
j1GY+xGkFiBsJ1SoOY82ERozPR6WDQDLKZ9PQOFCNAReOL4lJDv0MSaa8tWsmrcs
YBuVsV6+QWyA4lNjiYFateffnQplQZ8MVlKt6TatBhevzwfTIhKBEVk8g+sVG7dX
mvKlPRj9xf6KapMM5nPvruH0u9ItBmTq8ePi4sllLzLrdcVB0h0y203ujXoPIarL
hnlimcCq5ZXZb6Lzi/D/djwEAhWSke77ol//or+15v64u04RDsmkn1o4k1+1xnMq
6CwxTFFXZjSMmWUB6fXjvaaZhZ8QnRodz5QcaxaB6uEsaL91lK+OINAzfj+PDdfO
BwZ2XJjCw66Jg+5vTsPdurbKArLKKN6a9NA9rHvjmK7PLZqodqd4xqJ9iBY102CG
Pxliumvr82HPY/YdSptYyqr+MLpWslDe3tMOC99547Oa/z+cmCg=
=L4Pt
-----END PGP SIGNATURE-----