Accepted why 2.39-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 12 Oct 2017 08:25:52 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Closes: 875569
Changes:
why (2.39-2) unstable; urgency=medium
.
* update Architecture list (closes: #875569)
- changes due to ocaml 4.05: -armel +ppc64el +s390x
- drop obsolete lpia
* Standards-Version 4.1.1 (no change)
Checksums-Sha1:
41da42baaa390590f9b5fa0363002305f8f749ce 2422 why_2.39-2.dsc
7386bae85a4d342672f1a8daf051938ab5107e32 11760 why_2.39-2.debian.tar.xz
faf5d014ea290a22079c2b82d14425818a8a3169 8563 why_2.39-2_source.buildinfo
Checksums-Sha256:
2adf8434bb381dd9c546304294507c392b2cc8b63ad7f9c3c1159eac026ecb3c 2422 why_2.39-2.dsc
b0c1d64195c14f03a14a4fb677d53f4cd795c292cea95f2619a7e5ef6d9e8f4b 11760 why_2.39-2.debian.tar.xz
8d05705b0c090f28e40ce3b1731282fd269a23f28ddf358c37b939a1d413366c 8563 why_2.39-2_source.buildinfo
Files:
4d041d4aab452afc7c6c34859043f92d 2422 math optional why_2.39-2.dsc
18753f1b78d56b8e23574a3ab6642b71 11760 math optional why_2.39-2.debian.tar.xz
b4eaab6eec866851afd1ce8a3f23ce03 8563 math optional why_2.39-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlnfwCoACgkQdFxHZtTK
zf8xKRAAgTZWt0V1/zJMxtB3yh5sQS8Gk5compMdNUt8WOv5JSJjhVnonvE4tWrN
09fCbAXFU1UtRu3OpLQj+a4RXkfD4GimFtgTyXu8cr1tKzPJM0v5tHWvMiBS051/
nxMvO+U3fbdKma5W+HbT+JSIWp7+vlwJggkGy70biy1YqTM40lUlUASJ7hOpXZNU
B2dnimEd25uiP/zhb1KfHA+nw+Q5JS0XnZYF9UA3xHAo+1IZ2M+eCdbQJgG9l7yq
sUTTb0D2AxCJnkosRu3bV0zo3jfsj5rrYWqkFEqVJqRkOMYKGrCp3rEtpydJgIXB
D6PZSCQ/0rQUAyKUYJwlD8Js1BCv4dnehzlCm2hLc6buXNdtyOBuzIFkiry7xvjf
eVLQMUqzClw0S16fh+lUGpA9HPS2T/W+ckMa3MfOsUzn5kDdrflG9t4s5o93WLDL
xUQp41XxHZQmvvhO9N9mRHchmxG5J2OlF3KAvT6SW7yPS41huy3WKrLb53UQ6zCO
LVVtV4z5YETYhQdVxydZ+fNBpuKpqbU49y5MESyFgnSe0tXnBNqjR8Onkou2AX4e
ZZ334eAUnQC0twvji1lxDHNmLZD8kjgSrwQJoFTU+3wtyTESi8wMVOE48ekOtRMc
mNJAhAfb14SlVzkplMv68QRnLNDHSLn365Tv02fvVy+T+uvg560=
=p1cD
-----END PGP SIGNATURE-----