-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 07:59:46 +0100 Source: coq-relation-algebra Binary: libcoq-relation-algebra Architecture: source amd64 Version: 1.8.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-relation-algebra - relation algebra for Coq Changes: coq-relation-algebra (1.8.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: e2e003c519cd69b9b502522a4c5ce0f3d3a32dfe 2246 coq-relation-algebra_1.8.0-1.dsc 5c4f1fa93fe36b2e95b0631a6c6d187933da0d4e 197632 coq-relation-algebra_1.8.0.orig.tar.gz ae1d58e7549976320b9931f5bf38c270177342d0 2312 coq-relation-algebra_1.8.0-1.debian.tar.xz 4face87c5d37bb84982762e823fe4c2292bf34a5 7519 coq-relation-algebra_1.8.0-1_amd64.buildinfo 07db07faffd413e0b625a6146edcb052dadd18d5 2095692 libcoq-relation-algebra_1.8.0-1_amd64.deb Checksums-Sha256: b5bca9cb8c52a62d5fe0e37b7ad211da068a87ef7d9491ac56382c1393997737 2246 coq-relation-algebra_1.8.0-1.dsc 18f4e6ba4bdafa75f6137c2b184b5295e44dc3325dfb3315682ee98ef0ff8814 197632 coq-relation-algebra_1.8.0.orig.tar.gz b423c3d56871d17d6d52a250469d8b887eefa310f5390d351315856bdd2f55ff 2312 coq-relation-algebra_1.8.0-1.debian.tar.xz f34562327b4503f55a5f8a9920409600134aaa304c3247174445f301825d401a 7519 coq-relation-algebra_1.8.0-1_amd64.buildinfo 64d8cbb13d27b09f1e8cce7939a28109f6a42625cf582dc03af994168914564b 2095692 libcoq-relation-algebra_1.8.0-1_amd64.deb Files: e08544d2db1015bbaaf56423b1b105b9 2246 ocaml optional coq-relation-algebra_1.8.0-1.dsc bb30cbfaf255e062407947d6d1b01098 197632 ocaml optional coq-relation-algebra_1.8.0.orig.tar.gz e5783ebbaebe0c2b272c71dc6f3dbd82 2312 ocaml optional coq-relation-algebra_1.8.0-1.debian.tar.xz 4ae44efa7b7cb6fdd1c680405c44210d 7519 ocaml optional coq-relation-algebra_1.8.0-1_amd64.buildinfo 43296a85a21ab90418e221ebeef1e621 2095692 ocaml optional libcoq-relation-algebra_1.8.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDqUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeSFD/9ZLlbkiETRBwR645OtxxG0 oNwZPs+Vk7wI5G6QyZUmnWR5WjyDlH166+2UvH0Um6CUyGZPlAadt7dZ7/S8psM8 MJMJBStQmJZK5JrmYdGKK0M6GV/M20FgCdjnyeRnZ33ba25VC3sTecFnukjuWuZ7 kaxOoOoxQCAZzvUA777URVxUo8qqBHTg+D48vce5x8a2tps6JOkS9RzYYXxU2kC8 1geizYECW+jmw6l/afEzWcFHvWPNZ6ICpfZ5vpplzhLPrq7ulrNFrHT6wGVv+sAf pyYTOtGZ5VN6aAS7z3UdLH4PB4f2XuU+I/VkcLJRKgUHw1gZOn5/nDyK42/46gGr G39cNxIMk4neAp3iPeaseG+lgdi194IKqrMIuCMkksjDfonEMh29jh1tcpt0am+1 ejA26DQd1EivbcdRmrY8QIzlercRH7XD7SYUMTD1rU6zcoRfcx+QRWuVZ5PbjC0C AhjjScZxo4uhGLH/hhojBISQG2pnysnkrnqo3FsasMLvbzmjpz4NazesYg7qhGxv Vui72Sjkz2IiV81F6scv3H7CFvQLADdsBPt5HYRAo4svqk72zRvMwggihHjN+Qqx b4vm+IwRp+j0nGh1EIpWoojWn9Yaw2S1CkNSZa7X+UlNTGN10elumNqRpG2mwd1a 7hzUhE9Nb0KRrbL3ClVnpg== =FRV5 -----END PGP SIGNATURE-----
