-----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-ma...@lists.debian.org> Changed-By: Benjamin Barenblat <bba...@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-----
