-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 08:08:45 +0100 Source: mathcomp-bigenough Binary: libcoq-mathcomp-bigenough Architecture: source amd64 Version: 1.0.3-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components Changes: mathcomp-bigenough (1.0.3-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 805cc0458a8709dd38b2a4c500f0ea4af96b45a3 2162 mathcomp-bigenough_1.0.3-1.dsc 935efaf47f1a78d12315a92c9a79c1a527c3a6c8 12229 mathcomp-bigenough_1.0.3.orig.tar.gz 32d70c1e75687b599ca025fc4bb294acbe76069b 8864 mathcomp-bigenough_1.0.3-1.debian.tar.xz a4589e0c5191781fee0cd6d5a2cceaaade9b706f 21820 libcoq-mathcomp-bigenough_1.0.3-1_amd64.deb 997d7cfe6a3b60b1140ee310309a88e4fd3b4a56 7478 mathcomp-bigenough_1.0.3-1_amd64.buildinfo Checksums-Sha256: 9e21ba57799d4cf6d457b0d1ba1bf86b764ed2416308bebd094d6b557c413296 2162 mathcomp-bigenough_1.0.3-1.dsc 796689896f53add548e3d98d09d5cef2a471308fbc0b89437533098f831fdc12 12229 mathcomp-bigenough_1.0.3.orig.tar.gz f62f65b671aaebca16a8120727abc6b3263ab05757ca453e28fd5703ec5462fb 8864 mathcomp-bigenough_1.0.3-1.debian.tar.xz 1488065b5d1c3951b13a8592dabe9e0dd91afecdd12dfcd96bb27b1cc4c40f8d 21820 libcoq-mathcomp-bigenough_1.0.3-1_amd64.deb 853526713e8dc7dfb9ee43db576a39dbe215c76d8c6e61219f1ed3ab09553a38 7478 mathcomp-bigenough_1.0.3-1_amd64.buildinfo Files: d00d7a51fb642a5cfd258303b9293092 2162 ocaml optional mathcomp-bigenough_1.0.3-1.dsc ef88e59cf9d12bd6a3280f0c7828fbbd 12229 ocaml optional mathcomp-bigenough_1.0.3.orig.tar.gz a63b8ba3fc4578e5cdac74960cb7e4d4 8864 ocaml optional mathcomp-bigenough_1.0.3-1.debian.tar.xz b9f10a5c607064e5f2fca0242727757c 21820 ocaml optional libcoq-mathcomp-bigenough_1.0.3-1_amd64.deb 5938ad73618326d6b8bc483a7f9341f0 7478 ocaml optional mathcomp-bigenough_1.0.3-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDD6cZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcGvD/9dHdtnfnxRVUdmdssWUMrj JzSyYuouen5z8P9Laxx7FG50d23FpGnZwbXiHei34hbA/fZ9F2TxJC7qwWuKrIR0 SuK63IdoTcLElxwuDb/lCt6mjUjDeHVlk5JQXSSrLPgFYHc6LoPakUg38HGp4pzi EdNrWyfBV1eSEKaJ9keu2TEg98TQ17ORQR3eSjeC6Nvm+jIEz3A2pJWvcZ7Ns1eq Mkmvku/tZdwlXN0t2qkbw9LxcJjGSvtjXU0hLFStnZSCH5NSuei73HIFfjqRHLqs 4WqITGMWFgijHEZblzsEZsZRKmO7rWMICN3j50awVvGP9AVPbTTCfDwMwee7WAWA gWwNYjAA/RUNCBqwU8JXpvLCqYqOjfPv+ZzsIERWc9GcjBEWH2Ply/uLWoAmD2DH YU1LbU8GqfA9L1hEJEAaNPFk22VvVYvL/w0Nh6GpVa3m+BzPajDDc3hO/qzjU1mS akzRj0jLHNhUUuWWgwaZr0P2ZuIHxb3aB7onyXArgZ2zb2ioYH1ImG+TDwwg61xR K+5sGInTNKZxeroLCcFuhfw45st9FxFt1QPpW3gTrsluXDXk3I7NgExLmhUBOg9B b6Ue6B/PjIfM91JA5BtLpnfT6LLbt8psjFA9lkypf+LOMLVSPb+DLeTIWdp/UEv8 MI93p4UiZxMkioU9499G9Q== =nA/B -----END PGP SIGNATURE-----
