Accepted why3 1.3.1-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 07 Apr 2020 19:11:39 +0200
Source: why3
Architecture: source
Version: 1.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.3.1-2) unstable; urgency=medium
.
* Add Build-Depends-Indep: graphviz
Checksums-Sha1:
0a507af7f0cab8aa061c9c556cd0ef05a260ee8f 2806 why3_1.3.1-2.dsc
f908449afd0f9d4ae6942172e841cb1e9b12c422 18052 why3_1.3.1-2.debian.tar.xz
450bddb62287c3f4aa6afc0dd226f64d6667e9b5 15581 why3_1.3.1-2_source.buildinfo
Checksums-Sha256:
48822875e48d0e143ec9b848c092d14e3133d1ea9c9de54350fb2faf54eded48 2806 why3_1.3.1-2.dsc
71e5cc7aab8d351f03da99a6cc5826dff5dd911d53dabc8fc4cdda01c292ad61 18052 why3_1.3.1-2.debian.tar.xz
07136445110d27616f00c71c1970e400a50a64ad077b1ed5a22087c46c564d51 15581 why3_1.3.1-2_source.buildinfo
Files:
7fcc5cfe2fa69ef56e5abbdaeb88a8ca 2806 math optional why3_1.3.1-2.dsc
1672cb8a49403b9b7d4ba2f2046e89a6 18052 math optional why3_1.3.1-2.debian.tar.xz
a91e56839cefa00565a36c9300f05157 15581 math optional why3_1.3.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6MzPYACgkQdFxHZtTK
zf8j+g//Qx88/8A7SUaVfMtbqXkDADvBxMmPYxaGlSV2lFMjhSpkTY4+0d8cTTnC
kMETzFHGJdWDZXkHv6pFOABSguxGXSEVPzC6wAKnUvdb+R7uA3Q33JS3z+Tf6itf
bMjJS4Cr7d/xPgDNyWpi2vJlk+dirgp6q2myT8Fybphv79P39N5/HAoBhaR86P4O
gelcjOqONBuSLL8IGsBbnncoNP/+viG2L/mCY5gFk99S0vwfi5ByoPWp8JiBG6wU
zv+6fEXAmNE8wwDA6TaDZGW5wHMdqA+4E+rZAWgJoMelgGmov+G8wGJehJ66WHAH
ujW91poG1/caS+2tin+w2bz1yfPnHI8oGcoe10KeyHVP15E14CgX1910BkEL0HUW
BDbICbSpT5tIjM7Pcw2L3bl1E584cqKjgOvTyTvkbJICyfuT0bP+PzHgi60CjPAA
OIadRH3EwfTjZyuiFjiB0dcGNpqPQWpaeY45tjxC0iBf7m6waWPBkAM4whk3yry1
9EIobS1TeqBeRy7rB/l2jy5+lXhQMIexGst98WHX2OD5xqAIyzMzv+RdghmWdwD0
EiTn9aNiEHf2cijFon4w8VaZuguc2kvhbBQL88zBWmXSmVQ2b/tB7KnEnW3YdjFZ
I0+AV2aPGcr/9sp7M3bu1ZM+PAKT/YOSYI5IvXW3ohCzo53Qb7c=
=gLNV
-----END PGP SIGNATURE-----