-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:40:35 +0100 Source: mathcomp-bigenough Binary: libcoq-mathcomp-bigenough Architecture: source amd64 Version: 1.0.3-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: fc327fed89adf8a5c0fa9685a53eee36436b5eac 2169 mathcomp-bigenough_1.0.3-2.dsc 7147764500afe1493492ccb71c300f733e061862 8900 mathcomp-bigenough_1.0.3-2.debian.tar.xz 3863c333075e93988ed79ed9cee205d12f7a9e63 21876 libcoq-mathcomp-bigenough_1.0.3-2_amd64.deb f69aef62cfd75fda47f62efbf034bd740b4ed003 7260 mathcomp-bigenough_1.0.3-2_amd64.buildinfo Checksums-Sha256: 0783c4769a7728d21f4c44c62ff7c7bada6aa36d5390f2a6d7821831ee7f63f7 2169 mathcomp-bigenough_1.0.3-2.dsc 1e2ae8883ebaf257a4d1004b88d0fcb473a81537b5cbc11f419b8356571c81af 8900 mathcomp-bigenough_1.0.3-2.debian.tar.xz e19bcab8dad22296f3f711cbc97c4f5109999c5cd63e49bb112d3bb6ad74ecbf 21876 libcoq-mathcomp-bigenough_1.0.3-2_amd64.deb 0527e15256cbb2213936e240792a52a88f121c6e93ef798d21dea5588fe16a3f 7260 mathcomp-bigenough_1.0.3-2_amd64.buildinfo Files: 48178e23cc3f13dca8ea17c509c32c99 2169 ocaml optional mathcomp-bigenough_1.0.3-2.dsc db82d7a0ebc35828a081251ef96d0f45 8900 ocaml optional mathcomp-bigenough_1.0.3-2.debian.tar.xz 156ea455c31db130433da6ca581f96a8 21876 ocaml optional libcoq-mathcomp-bigenough_1.0.3-2_amd64.deb aef1c090580f157e9f8dba8820c6c969 7260 ocaml optional mathcomp-bigenough_1.0.3-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkqwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaAeD/9ZuMbl1wX9L1WdNYCawnEP M2A3qgxnjOlsLITI26IA5xqQnvEzWElgSNBCy165UOAq5rAWWa/TSkScnt1JYqA2 AUWBFe+yF1O2qjA5oXOKVMAANUwDLw14jo83jY2jqlyQsNqfFU3HqynXXox1PCBR Coz0EjY4GIDKKS2qoAz01U+wnqpW9tTkoZc48/bnvhc4MbzH0bjbVyFzRLD8vvCE v1cGCAoM7hz6aSRGouGRHQ+MX4d2fuiqXS2jaSRqPTK2zvJGRiOF/RjdMN98koaG 7lBNEQ/8QqpKnGgPLAyPXsD6fLMfPDgzKwkjoGTRFecVv/djuqUy+X0+MmMQ3p1f 5fyg0/ABMiiK3A174Wd7N14Z6u9u41/l60smAqnnyxBA2Ags9FlhjYuW3kV829Y4 9TnUcJS+6Nuitfs0djiJqZubh4tihH7VH+dJpEfchIFoAEQ0gls6Xcj787nmV9Wf INw6UFw/6tsRmmIBNEt+3hbjww2Xsos0vjdyE0+z4BdCfBISv0oe5+pUu3rj5HSe 5QI9p+eDaGv+NORuODf7fVsgknpNYIoxmnPwOwn3iLffbS0kzzO+1s2QtNzDRWyB RLcVmw3Ul5p0eCh7EDlUlEDaN7fvKk6rOip+P3E7zzjC0w9bJh1lY36hfKjsBCB4 OnCU0467qqLXl1XqkQ+ZPw== =2dfw -----END PGP SIGNATURE-----
