-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 11 Sep 2022 14:30:52 +0200 Source: coq-relation-algebra Binary: libcoq-relation-algebra libcoq-relation-algebra-dbgsym Architecture: source amd64 Version: 1.7.8-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-relation-algebra - relation algebra for Coq Closes: 1014991 Changes: coq-relation-algebra (1.7.8-1) unstable; urgency=medium . * Initial release. (Closes: #1014991) Checksums-Sha1: 9d5099374a95cfce7796283a04a5fd339a3caf28 2229 coq-relation-algebra_1.7.8-1.dsc 11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz 4e817a85bd6926ad2924c6b624f0b525e0218420 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz c92a1c8891d4da05db62eb9a088dab3ddbeb4079 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo a5d55a3ed8382d0f114a41cf772285690e97d0f0 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb 37196765913a3a7aa44b5c305809df9e03e4c5ee 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb Checksums-Sha256: dd6d6cafc21731766254fc0e271235ea796f1b23dfab62e10959e7a5f07896a9 2229 coq-relation-algebra_1.7.8-1.dsc 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz eb5480b2e808fdefc8d8f12702baeaf175f54a4fbb3a31be7364b8b87f59caaa 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz 0f23fe7546f3dfe19aee81a42571e2f36f683f2330ea0a100944cfda66bceb9b 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo 8edef9126e9c81926a5e0b9647ba46cbd274715e2ad5cad84f572450b82743f8 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb 594c66e744774cde3215d23428e0fd46d258c282e5c63075258c933c0571b4a4 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb Files: e6c75f3106434285f64dea0255505bc0 2229 ocaml optional coq-relation-algebra_1.7.8-1.dsc 5978961b75a58dc5dcd2458c69f3b57c 196590 ocaml optional coq-relation-algebra_1.7.8.orig.tar.gz a7726d8273c49e201ecc11e22c11a6d9 1596 ocaml optional coq-relation-algebra_1.7.8-1.debian.tar.xz b6ad967a166566adfa366b5ce3dbe7a7 7855 ocaml optional coq-relation-algebra_1.7.8-1_amd64.buildinfo dc34c44aac81364d3a3d122fed0508ca 13644 debug optional libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb aaca069bbf6b3e041471bf7c7f711a71 2036412 ocaml optional libcoq-relation-algebra_1.7.8-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtvg0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+LMP/AilGXbZyEzFFK0jX7ZM4If9j/IFvZ49 BQiigidmSP0eDYA6KIbugR5Cvu4wZtNC0NN3tqQYQlF/47Oj0Yhs6fzDx0lrUmo+ e4EFDC0V6NgNqhg7V5DYSvNVXLMZm1I53qMSuWO0Uh6DGb5SWQ/XQNIrmlo9mU+i TO4yKdJuu1bwfHpMtmlh0oJndS//SsnzYZGnRelnGBDZ7j/S/VsQ2h2HqikoWAw5 KwzDZ/BbM75794UQ4ce6D+R/avt/A/usIt5BkCbPzopCR1OfCO1OX55w2nca0jkS Ws9dHNY6q6Jo2KSh8Pg4v8Lfn0ToYzECMv/LDv0mD5zHx5eO3Mi1rDA80JWwREWU 1KxjWkZ6udJ8/OfbfKgVwbXKwsMCX5vOniQEgx70hBeD9OhZGFuoOqhsP5y/yrom kM2m0w30Cl9NRI4jOIII5EHDNnXBOMfMnXpHwU/9m5SWoleb6//q7lxdGE/4EiDI Q1b0NIRbFMwK72WCm2Rknx2TOOw0dEuovPvfqzL061hx6IhPEDBpjRbWX9EQp4Oq YAfbulm8gBgJ9qWWeUgjgmdJOV3jcdzaPSoOmJ7JGWfd1vWWA0NavhOocq+y99HW rTfRZ0//ybrbjr+iXyS68Q2rXz/q18PTytZCrrXM6Tu+L3WSgW2RXpxXhMM36cVu EcUmAxKeWAAN =+Kza -----END PGP SIGNATURE-----
