-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:34:09 +0100 Source: coq-relation-algebra Binary: libcoq-relation-algebra Architecture: source amd64 Version: 1.8.0-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 2fc2437ee419f3a15b80acee11ac1c5b7b44d3b8 2253 coq-relation-algebra_1.8.0-2.dsc 8e9faf8dc0cb8cace00b3514df1931f1306a12da 2352 coq-relation-algebra_1.8.0-2.debian.tar.xz 790a942f9d90940abf0420e188ff3845f4863756 7516 coq-relation-algebra_1.8.0-2_amd64.buildinfo b1397ea5216b46884f71e812b0fb7341e2040f02 2096628 libcoq-relation-algebra_1.8.0-2_amd64.deb Checksums-Sha256: 4f6f8b2adc05a471468a50607e6ac86fef13539daf16dcda3418b915b8543d0e 2253 coq-relation-algebra_1.8.0-2.dsc 33eab953d99e6d35dc2e8178e73a155a071cad4b7b7b2a895401895941177d46 2352 coq-relation-algebra_1.8.0-2.debian.tar.xz 1fb42ead70b23896181f07508109346c75a5982f62441bed5220f867596bdaca 7516 coq-relation-algebra_1.8.0-2_amd64.buildinfo 54bea2c8b61045f93d14f787a273f7312160cb4bbfef285a4ed108832e2da7f4 2096628 libcoq-relation-algebra_1.8.0-2_amd64.deb Files: 7b34ea99a2e57a4865e89a959456ec88 2253 ocaml optional coq-relation-algebra_1.8.0-2.dsc ed855baba0aac412b3927a4f947df1a1 2352 ocaml optional coq-relation-algebra_1.8.0-2.debian.tar.xz dc048f8cfc6c85ce68228a327c6a12eb 7516 ocaml optional coq-relation-algebra_1.8.0-2_amd64.buildinfo 8a3dcee8451a29702c7357f471279545 2096628 ocaml optional libcoq-relation-algebra_1.8.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkNIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcuHD/9cpZa0vWmVsfVOmetqSKek eEpH/wioMHbJ0xj8qZeGeFJGraGfURVr3o/QITcX0sD2f1nJp3btUTF1nYR4E4N0 Hi8vJVm+hk2BvrJGADJLAS0L403IM1aUFqvCGDCeNM5elvQYYldRrN+XoT+JqSsh 43iAO/XuCoWenVtiLcRu+vvul7yYPNbwP7YTXeCcY+3t1D1YHlVZNhr7js9PMh3x DE9MaxK3/WbjV+yXRwbqa6PQaoBfzvCWG4vrn3An/GUfgqGcngREprIJPYyZao7y iF7pF9Js/vyPvqaS9Gruy2cmVQjxXMb+ALFlOQGD7eKyxaTwthRRrDcxMmHhUert JHNPxbqtite2LetkasPLeqEc5v2Y9gBATzJI+wCKoyif5tHYnNMs/OfYqW+BZnGk XyHgaNKXtoIWylDbqm50+xkTromSPjGDSqGGun6rcjeL0XeBJNQizQ7NfbIGD5OC i1HNqHYxtz6bHruOvQ9imz96aHQPA58k0AveEhbs+vNrfS2v7ZYW+RNTe5w0YEEI uzSSawg1E+Oiuu3+zVWBYhmD/FmyJB/apvuesuNZwdTDxpiTjOudul60q0+J3Lk4 k+IWs30NCsKiv9vk5MfMAzf5BJDhPGbuI6q6TtF3pT0nDWfG3rOranLEnW20G+Id 3CiekEIpkP9kPxJCQQH0+A== =+AEz -----END PGP SIGNATURE-----
