-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:34:34 +0100 Source: coq-unimath Binary: libcoq-unimath Architecture: source amd64 Version: 20250923-1 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-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: c64da399e7141ffe9a826d523b837c9a0f162535 2121 coq-unimath_20250923-1.dsc 88ac77f63f8a6469d9da28237e0f5af14971a2c4 4006350 coq-unimath_20250923.orig.tar.gz bae1c0e424ae63bb7701e778e7386dcc848dd742 2372 coq-unimath_20250923-1.debian.tar.xz 0e5ffc49cba9c1cc8ce913164bc72db0d2690782 6837 coq-unimath_20250923-1_amd64.buildinfo dcfe30127e6a2b6b4dd923a2c404f3f3d035ff2a 56455420 libcoq-unimath_20250923-1_amd64.deb Checksums-Sha256: bb2760924a75f1c3da2ba854295790029a2d6a39272b5e83318f2070a4cca96a 2121 coq-unimath_20250923-1.dsc afcf4bbc94cdd33ac59c12ef3201af4cef333b36d30769c8f6e5d9c13783c82e 4006350 coq-unimath_20250923.orig.tar.gz 4bcdc7ca66a0492126e50beed341dc7603613d7d338c4c24e4e3b14cfe036ce4 2372 coq-unimath_20250923-1.debian.tar.xz 8fcaf6d04027792b77012824da37e2a384ed44fd44bab7693009b60baa137e2c 6837 coq-unimath_20250923-1_amd64.buildinfo 5c0a886f735d894b3e4f086ce2aa6fb181757514b0cebb07369a5cc6c3987abc 56455420 libcoq-unimath_20250923-1_amd64.deb Files: 051dca0c2ae4dc5d26d9184a58f904bf 2121 ocaml optional coq-unimath_20250923-1.dsc 396c95d924f07009650bb0e93273cfbc 4006350 ocaml optional coq-unimath_20250923.orig.tar.gz f8a88b1821d8f8c60dd8bcdf04d048de 2372 ocaml optional coq-unimath_20250923-1.debian.tar.xz 548eb44ac6efbd6276c7501f82e06ea4 6837 ocaml optional coq-unimath_20250923-1_amd64.buildinfo 4ffcc83ee6eb7545a60c580223696e97 56455420 ocaml optional libcoq-unimath_20250923-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2rMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT5VD/97t0HIjNfGbx8uTGGOpBE1 0Ms5AgHB9CBpIoqBiJo9/fIHDQo/TqLNQGu7m6OtYrCZS9tjZe4y0vRi/S/qkBfO a5N2MuHDn+i1lDl9aXTgpyAT3hMxyGBgX8uUweVLFsRR2rbmARtFuVdRAZ9mYxsV u8VJLKYUM5xfVyFFc52Qd02LD8QfQLEVJC9pLpXZ0Vvw2vUfbJpaOKvF27SzUmpA 7/myZznjnJkKs4cvIRWKnuR+t4tuZjh7ngzWNOWT4KKFI90etACvV+XzfTOVfm7I rKIUC/74S01JTonfyBTvLWN7/zuUKvIzMw/AekQqtghshRiuVcP2xDv/3rE1p7jh yuIu868aq1dzqJXNtwUKm59un1MSs3NloR1iYfQvXeLyXlfTBJmK+sUqvbzYKPJ2 2kIX74045jT9/3bN83nnbXBH82xHZolvQFE9Izi8CLUrIzqiNAAD/y2jZ6Wm+w2B o9rvIwfJFNgK87O7X2GuDsOluLVfaGNCKyJsDTwm954saOLBzBnFzs8me8Bppfol zHjWOywH4GU1GlxtvBDmzNFnDIYWkafNIGrjsg+YHXr5IyyFHsKG2iQX09i2A8ty FpPQes3BN6H8prGdXkNooEs76t2qVUKqw3Jygo8AaCccLd2tgRJDAGofk209Z0NK JGC6xLd4V18nfBcA2io7EA== =4odL -----END PGP SIGNATURE-----
