Accepted why 2.40-4 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Feb 2019 18:04:55 -0500
Source: why
Binary: libwhy-coq why why-dbgsym
Architecture: source all amd64
Version: 2.40-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Benjamin Barenblat <bbaren@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Changes:
why (2.40-4) unstable; urgency=medium
.
* Team upload.
* Rebuild against coq/8.9.0-1.
Checksums-Sha1:
ea13fdde29dbb722a2e9ae7a9ec663080ac6bea9 2374 why_2.40-4.dsc
a9d8fc68ba3728d667d6c19221da9c1c959ca359 11936 why_2.40-4.debian.tar.xz
963031e1b681f3c3ca9f30fed7583ef74ffc5193 51532 libwhy-coq_2.40-4_all.deb
ddf6330cc3f774069c0ede6d4b29cc318b345e67 102116 why-dbgsym_2.40-4_amd64.deb
c99fa9ed13c19edb18dc146a7c32e85e3e0ffea3 10375 why_2.40-4_amd64.buildinfo
001a603091bfd5794629ff9f503fa9660563712a 3424344 why_2.40-4_amd64.deb
Checksums-Sha256:
515863bf7ca6bfdf2cf57792f280f9a1def5421aedfcbf682ce744326a2a4d75 2374 why_2.40-4.dsc
b9843bbb889af2e2998a21b40b18da7c53be2dfa73f015cc307290e3b585f42f 11936 why_2.40-4.debian.tar.xz
8168efd3f03c8b7b9d1f15f2df0a399e2a92968435ccf31ca99961c3ca0021a5 51532 libwhy-coq_2.40-4_all.deb
c99eee349a3764b2fe24c7ac667c9f2b13bfd067cc8794e511033273cb430184 102116 why-dbgsym_2.40-4_amd64.deb
07249ef0d5793f19aac1137fcdb42464f4e0a53c2ea20bcb7e5a9fe66378c64c 10375 why_2.40-4_amd64.buildinfo
c887629dc78f52325c63ec88729e3cbbb66d133d08bcaa9bcd8c64552767f758 3424344 why_2.40-4_amd64.deb
Files:
1b637e04a9a4049813458b15df79c8c3 2374 math optional why_2.40-4.dsc
964b2626dda6e8c1078cecd095d9152a 11936 math optional why_2.40-4.debian.tar.xz
f74deb8b905f08bd85558a5a19831171 51532 libdevel optional libwhy-coq_2.40-4_all.deb
55331d4d248a5c12b78a8a19f074a6b0 102116 debug optional why-dbgsym_2.40-4_amd64.deb
8b4deecdb816311539610e79566f4202 10375 math optional why_2.40-4_amd64.buildinfo
4f1f1d761b1c92aed87ddac653dfdc58 3424344 math optional why_2.40-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxwgWsACgkQ5ZUVm53A
7cPYDg/+K4CreXzgeNqqPSyj+OHHTZMunMoOI03T4ijvIDRTOwdKQXw1erOiN+yy
zzamjHKOACDTfm+ra/4wIbpo4U8e7OTlcUvwG9isd+AZXpYcgQiQRHiwxdegueqd
cQHAvA4hkHXeKMrh3H1y+X+m0NWhR6OEo6ahao5MSuhnm0aOjs6BZe0qSXmqU01N
B15DAKc6I4lJxe2kq+3R5YMfaTjScQjBy4q4B8D91QrHEE9lEN+L+Qn76DcJSf1L
YFWV/NUgDU59AqjycG1w4ku+kX7HgQ2On3mUbJIFEHyLDtcLWSdq1w9Nmay+aBnm
YVrUMzr12Z5GEQdikMTpIl2psRtzMGdMvkSpnOB1F3HiYAd8Onj6BA3jNP3J1KWW
ieUyYYevGZgEhEPw6QVsXQPlfEM8AO8SvmII0hr+ojaneGp1pba6yg7KZFZgg8dX
jTXSFAPaOwdzlCBBP6nf2UhyvtrTMVuRo4atwzSqDCzFHj+hiHAbgN/qe8zYV6aj
Smpn8KK+XUzXyurigEZvKwsLPIxf2jZM4nTGHmMX4SSiyq8R1ek3g+DOBAWwfonb
ux8j8wPDVt6/1tU0BptilqZ2V6zj6c5cAUhrFvNuLj9oAsxwpR9iv6GfCmKPvPWz
YCkmOrM8K7xFmQTXppdw2R2MGS2yNXx47CLHbTUTEewkxWC4fNI=
=TN6O
-----END PGP SIGNATURE-----