-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:29:51 +0200 Source: coq-unimath Binary: libcoq-unimath Architecture: source amd64 Version: 20260603-2 Distribution: unstable 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 (20260603-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: a982213a17eb04e583bcfb49138e5591a2a11931 2118 coq-unimath_20260603-2.dsc 633a5821c0e84916c0b0fde1b69bc5f6849a297f 4201408 coq-unimath_20260603.orig.tar.gz 864bb2062410920298f9a4e7fef5ee1a8d28dfd2 2432 coq-unimath_20260603-2.debian.tar.xz ef06e5f86f3fb042592c98a33cd4b05576e9ca73 6945 coq-unimath_20260603-2_amd64.buildinfo 0da98378392b2b2eb243ba4c491640ef790d8847 58604904 libcoq-unimath_20260603-2_amd64.deb Checksums-Sha256: f39cdb2b18024356350b8a263d30ae9442758a485005d8994e8e25b209eacb9e 2118 coq-unimath_20260603-2.dsc e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz 6d7320bdec85671b553db34dad6432e7f99c0e8d68b83c1ad2ade6da4b877485 2432 coq-unimath_20260603-2.debian.tar.xz 9ad52ae7b19cb14ed2d90f89d61ac15292478fac4c243a703ce56ad32acae598 6945 coq-unimath_20260603-2_amd64.buildinfo 54717b988a9d1bdab024d87c29fde2e4b209535aeb378ad55d5a63b29388ec2b 58604904 libcoq-unimath_20260603-2_amd64.deb Files: 5ec26526bacc5a1a10d8a07de9df2c21 2118 ocaml optional coq-unimath_20260603-2.dsc c400d964180fb1e2d358bc84a9898974 4201408 ocaml optional coq-unimath_20260603.orig.tar.gz 10fe17c6e71afb1a7116b890b0e0e5a5 2432 ocaml optional coq-unimath_20260603-2.debian.tar.xz 0b082156468ab61d6914db8e830df5a8 6945 ocaml optional coq-unimath_20260603-2_amd64.buildinfo 82b648c635191210c75be5ca1f5991ee 58604904 ocaml optional libcoq-unimath_20260603-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpog7EZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUePLD/4zFUyABEp9xrQxp3ALKMMd IJWTeCZgJlSlB9lPY55DPiyfDSLJk2d3C32KJMyd3HHmIBmr/5KK6Qze7Em0wc7w TQ/xCm6//h1pWHBsAn8AzOB0xZsHdwgQUUUjQI1LEMjvIoJoVR7ppAGhIGsKKQaf 1OotDEuggess6Ev6PBClH1RFBDIWd1uGXm1FnVcRRjSpd3zZvaA8DuD4TRmJADfk zh0wF07y3AafPe94pTNAuM8M9lr+a1Pt09gbOj3xXl5nTnrBr3CBvRxlS5bODMPh SadHpinn2avd5wIXlaSg0mlX+SGf8whBCUhKLVLQXC+nw9/rPtLxIY/xKcfXN640 1EXGEx/Pdc88BvTvPCNSJn5UnNoDsIFFiUewVrJmt4p4qY/aAYgG17di61bSR19c 64l1XXSZwcIWeaf3czlXuXYtYrZ35mIO/8ukAIMtYbhMsO4lH+helA9aHtay4dre bsH4gLQLHdqPKmnbBwqtc92J8IEuhIrSM3J5biHaRVTCUKKhjzCV4pdNfxBgx4qp 9Nb9oEmBAr4NLPVfJy9bEpOPZn4ykCiRmdKNY7IHkmTIStGCL4hCNp0R7AxNv50b K41jSMxbqosqQtfe6lDus6kYSsWR2KRni+g9RHk6Hjmpv6NY+TvzBQyPJ9EZBLWw t5OVA0mDmRpw+UXh9alm2Q== =qfBF -----END PGP SIGNATURE-----
