-----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-----
