Accepted why3 1.2.1-6 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 08 Mar 2020 20:36:59 +0100
Source: why3
Architecture: source
Version: 1.2.1-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.1-6) unstable; urgency=medium
.
* Add build-dependency libnum-ocaml-dev (used to be pulled in by coq)
* Bump build-dependency on ocaml, as indicated by opam file
Checksums-Sha1:
ac24117aee8cc4435bdec8fe765305ec96f49dee 2774 why3_1.2.1-6.dsc
dd42690a789b2e188dd65bdd59b9b5a84e4c00fa 23168 why3_1.2.1-6.debian.tar.xz
42f29f0e55cef7ae93bd598f0824ef6f00f3b5c1 15708 why3_1.2.1-6_source.buildinfo
Checksums-Sha256:
edabc431e69fda5952da1992948824c6b8a561693fb3d9c31fe38943bebdbe30 2774 why3_1.2.1-6.dsc
657ad5a8b4dc36cdb146c5fd8ffd2efcd262c395c5041b015e08b0b9a0415c2b 23168 why3_1.2.1-6.debian.tar.xz
078b7bd43935a6295f8b6a0b63c7beb591189768eb5081480643e68db4c62bdb 15708 why3_1.2.1-6_source.buildinfo
Files:
0c40d5c7a110e30c1abe9775cfd63394 2774 math optional why3_1.2.1-6.dsc
15215a5e0f647dcfd7dcbfdf01076a1d 23168 math optional why3_1.2.1-6.debian.tar.xz
21d1207ab7a18de3acd33f737299a5fe 15708 math optional why3_1.2.1-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5lVA4ACgkQdFxHZtTK
zf9PkQ//aTIJBPKsQm9/xwS4Ymt939xspgYq8xHOXRuLvFcNQ1A4vqc1tWsNlsGu
olFoMROhC9+/W3ouG6FwidRnI1bn/2oKotEBevIYssUlY9btmUXh8bbZ7xVt7K9b
s4R487+f/snzKfEiyF9KGAX2+WqrEiiAx7QP+d+4+EzTx5fyCgM7B7EEU6wzCrOf
2t9OXuRBoaj4566V0caxVrYXQSiXnB5cWiHGWwFLG6b2Y7W068zg/FiP2rt0VZn5
i1CBtgo4odnWaqFoVG+Ah0QsnlfxdqFRshov5Nk3eL81YOTef78dMh9FbpTYWqgw
mdSzFHV28DLvGg4W5A5FiRHFfgN90N1Gn1R9q92JGVQmaw141b8XzDos+qhuyTA/
PSHvYw2Si0W0TZ48pZAfks1v7YawXM+A4yVJHVA7a3cRXsqOhGj/gvfBM9WhjjN0
fG+TMx/VR98PRupleItK9d2Zs94vQV/yQsi11oHq7Ij+VbTGLuaPI1WAGdqAxLzV
sTc3uzPbUkftUidSvG7GzM0QsCWLzqd9SZkmrGpKZkVHxuC3IsDYFIuLOQA1Gy1p
xCA9AFkFgIetPcES6W6OAgl2oLWhmVDK5GuJnesjQasbA/srGTUDTygPwVALR8s0
mHmRAPyqY/mfG9MYv0397wBsN7jmWctjEIWEs3nhJhElAxUYXhk=
=Ek+M
-----END PGP SIGNATURE-----