-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:30:31 +0100 Source: coq-libhyps Binary: libcoq-libhyps Architecture: source amd64 Version: 2.0.8-6 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-libhyps - Tactics on hypotheses in Coq Changes: coq-libhyps (2.0.8-6) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: a0e321e2e5986aaf4f714291ae8d3e3eef957719 2091 coq-libhyps_2.0.8-6.dsc dbc935905fad0430d167795f555cff2de64b581e 2348 coq-libhyps_2.0.8-6.debian.tar.xz 4ba98b063748dac29604ed5f7bb3797972baf688 6801 coq-libhyps_2.0.8-6_amd64.buildinfo 80f1dedf543c94d2d30a997cd8f286815ab33e3c 63344 libcoq-libhyps_2.0.8-6_amd64.deb Checksums-Sha256: 8e5055b4162cdda804f82736eefee9950326bcf1c4628338f528190c5e6d8787 2091 coq-libhyps_2.0.8-6.dsc 2af35d01efcf55e68ebea60f34b4167d54aa67824b6e008d722d22194dab14db 2348 coq-libhyps_2.0.8-6.debian.tar.xz 71f0062088db988b056e5f68bad44da10668521940095772b79e7de01fe42108 6801 coq-libhyps_2.0.8-6_amd64.buildinfo 4e6297a94e98ff25d0928bb64ed4ac4d92cf73969f429a893f6e16a94844fdd8 63344 libcoq-libhyps_2.0.8-6_amd64.deb Files: 734c421b2050b2f749099f3136b57995 2091 ocaml optional coq-libhyps_2.0.8-6.dsc 2d52b14509e2ec6fe3f04ea2a3c04bdb 2348 ocaml optional coq-libhyps_2.0.8-6.debian.tar.xz 943b6f8bd1b71b668608ce9bc47ac052 6801 ocaml optional coq-libhyps_2.0.8-6_amd64.buildinfo 77f414f28fd7e1fbec4ae04d9811a617 63344 ocaml optional libcoq-libhyps_2.0.8-6_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc10ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUDPD/4t+V2HXDFLV4Aid1nz1OoE rHh7CaS1sQegt3qcuQQLfjVCIxjTln0Mr8xZioPY8nA2pfOLT5GTb0UsWaZx4x41 QTsY1ZlaXhMVx/eSV20CAa8u1suwp66O/ufFThOnCLC21zJAFR6uo1f8/8HPNMVm wv7KiNQE4L63/716jZkEaI5CYlY2Pzhc2MAbnVR08RjENElohpEOXpmE1PimIFWF xsjRkABp3Aw5cTbW0NsMujUD0zeJBJ2Yg9duwTmtxe6QVkBs8JZSOxDJ3k1nhaCc LWIVTfvv6eFwWla87ZIaasnVEZ20TMgoZ84x0nwKfQmN9g7UCSrD0wtG3cM565EJ plcEZcfVzWHxVacU5TxCD9PzoRPqmiFcCNFxODAST0UL0bM8DBH8C37QfbwhVSqq DDcOax3nmVW1u5EXempZdw74ZLN593t9lsa5qzMXYCOobK2RJeOLKOvhPsnI+K83 Tunw/fWs2JfgsEUXwV8dEKl9fous0GOkZOTc+80hbCLFKZpOCc0k+eIAuFU1pOww Fj9cxPNmXWeOpi5fK54j7r2KwPmXoi+iyFObFHnGcJ86r3b7+/PsA9qV1RiGIG3U gZHwW0sUlgbFO818acNXJIOfJGZ0UqnAwhFaV950egGUguHNxl7EoX23t6WC6FP2 qcdAgioQEor46xOaCGUB8A== =oK82 -----END PGP SIGNATURE-----
