-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jun 2022 08:08:54 +0200 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: source amd64 Version: 0.11.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-ext-lib - Collection of theories and plugins for Coq Closes: 1013963 Changes: coq-ext-lib (0.11.6-1) unstable; urgency=medium . * Initial release. (Closes: #1013963) Checksums-Sha1: 61218e27aa5dd295c04f161ae30ece60bf020f86 2084 coq-ext-lib_0.11.6-1.dsc 08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948 coq-ext-lib_0.11.6-1.debian.tar.xz 9c9b6253b27a4922b084275e4a3269ea228735f7 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo 8fcfd45a707946c8bf5531fe7629513bc2f33fbb 763488 libcoq-ext-lib_0.11.6-1_amd64.deb Checksums-Sha256: b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa 2084 coq-ext-lib_0.11.6-1.dsc ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz 7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948 coq-ext-lib_0.11.6-1.debian.tar.xz 215503ccb6c330bb46e78bcb3e7bb0d367fa3ff374981730be4212872489a18e 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo 21e9fac31686c8b9dbf0a9d2eccddfb8d14622b66f8ec6b935f243e601397db8 763488 libcoq-ext-lib_0.11.6-1_amd64.deb Files: f36fcf11375bc2de45e81c6dd60f30f2 2084 ocaml optional coq-ext-lib_0.11.6-1.dsc 442577afb6ff3a02043478690057cc21 82555 ocaml optional coq-ext-lib_0.11.6.orig.tar.gz 98439e3a1657ffe99baa59f71f068146 1948 ocaml optional coq-ext-lib_0.11.6-1.debian.tar.xz 03109ba9874763ae7774f78e53bc8936 7129 ocaml optional coq-ext-lib_0.11.6-1_amd64.buildinfo 9de08be5a3a10d54613473cdb23ff7fa 763488 ocaml optional libcoq-ext-lib_0.11.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYg0P/3GOfZVy+ZFuQrq/+hddpjvGx0R4/Zw5 hW6e+5p8cpoUlNkEGQbBbKy/mdFn5aBzZJBrbOmf8+y1ijDkODXfnnsLghQhKhcF ECA9Fk01NpUMLOQVt/Z52IYdWENvIXMeJJVoPqU4faAKFZ0oD3ZnwNr0aALiCOGo Cj1vhVP5HEpBIXcS8/OD0iVhInc4Az7ns0A5/qJZU6/oyFm3D/EQz/BRAHlMlr2E Tdex9Wdf9Wu0bglbd3ASeDchc+p5oUY9VgXprWFNG1upVrKwAW6OHUsEWVsJ/+e5 eDJvLZanNOPRUGKB3JCaXznegNh5XbZxFToC516MCA7RCEHLT41WnU6TcNQ881wG QUhBzAzsDQj9zkBUVo429JQFyK9PW84j4VefVMnALdco+8bOHDZOdBgXsyrQ1LUV 9HNfwnlawkg3Kfbe9KaituLjcUoNVLgp/JKZlQlsjD/+T7Hg0Xch603bJja551dU 1WzoIc8dQDWUkkyfnoeaTirRuW4ci4E1wELUR9/aQjlasImGueVtaQxrDC9YTmEa bWFb7n0p5sNPGw71zCtdeh7xn4DONXX3vviQx0na7Q8BG9hf+0rtck9zuyW+X2MU PO/XryCQnJ7O9IDcw2soqn9jFIbQXpJfO5b7CMmgSRSSAbe/UlgUup94za4LaklL /uNLfG9sVbYJ =GYsW -----END PGP SIGNATURE-----
