-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:36:32 +0100 Source: coq-unimath Binary: libcoq-unimath Architecture: source amd64 Version: 20250923-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-unimath - univalent formalization of mathematics for Coq Changes: coq-unimath (20250923-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 6093bc5bf6bd93848d3988a92365da0d542fe761 2118 coq-unimath_20250923-2.dsc b9a5e4dafb638128de9799a925d39703a1c5b53b 2400 coq-unimath_20250923-2.debian.tar.xz 7f76d2541ecaeeb0942a76bc82bd4728d98893e4 6834 coq-unimath_20250923-2_amd64.buildinfo d5da2b2ace197225990b4cfc82efb00aba8f3d12 56456996 libcoq-unimath_20250923-2_amd64.deb Checksums-Sha256: 7b852f1fa15c825c0e2d89018b4665c1cb07f636fc1f91b1435c31019ac3786b 2118 coq-unimath_20250923-2.dsc 7a41e78c9537be5c85f292ae1276e7a9a67f22c1864400b5bc720826428b5342 2400 coq-unimath_20250923-2.debian.tar.xz 415d14cec3fc60900c36bc531721ee28673b2640f5852bcbf8e1a0cffe1411e3 6834 coq-unimath_20250923-2_amd64.buildinfo 3bea69830405ee4c96af9889ed5f6d04ae6b1e2b9f550dc86569b786e991688d 56456996 libcoq-unimath_20250923-2_amd64.deb Files: b0288bee95204b69f4510a21fafc58a1 2118 ocaml optional coq-unimath_20250923-2.dsc 3ad96c9a36b562c3a72370e258c4b18f 2400 ocaml optional coq-unimath_20250923-2.debian.tar.xz 585b22570b95bd2f8deb860cd03b92dd 6834 ocaml optional coq-unimath_20250923-2_amd64.buildinfo c9cd39d1779a57f4bf70e9e9486b990d 56456996 ocaml optional libcoq-unimath_20250923-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfQ4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdoREACP5nLT9cy/Dci3Z9B2lC+2 QBE1kGrafu4a8XkiNigciAknNkom7IWONFAy7oDIlu+zvSnwYTKPFH9VfklRhudS zvJp6oEyNLiEYDDsHBwc8IFvlC2YWwZxSOLUrfQNlpmMYVthZlz2Dqu7eGMqcEAw XUVvg8ABbRy7Kpb8WvLlHxaFAdCvsxmaQLr1TCvM7bcgLrfrkor4t63cwb3Zr4Tw kwTS95jrDdY/vFNCq44xONiNBAT1BSbEkQh2P3QjmdSuQme1+Hubl+45epNxg7j3 Jh/QBb/DrjWRL1cCSlqNVCopt6erX5EGQxKf+2buBrtK2E70jKpD+f7tvsqNjBag k6BZRfujGe042hs6EBCToNIuzdAnSr8597HmO8dQktoaiCSgwsNZV69JC303tC3P BoIGvWA9+I+t8PxRoipj47iD6hinAl0WLe/nO4ytkjZ8Ye4PVrvBkT67FL4YbeV2 5LmmH+w3wvNH1/Kx10QyZ54EmT4PMKNutoxODegI+Sq7tORyKZvSbokUbBmPE4ox qMcUvixZkMUtjlZOUXotescaRCSj3nFqHblbZQLU9VQrpP1iQeTBF5kU15d7ZHjr xqRIqrGnVRNFmw2yMelyUiTmcLezhC0dG41QZEl4QeIvlSBOaZG7PH72PUzh9qf3 GgwYhs9bdbD2hrr4whsHMQ== =Zj49 -----END PGP SIGNATURE-----
