-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:24:40 +0200 Source: coq-libhyps Binary: libcoq-libhyps Architecture: source amd64 Version: 5.0.0-2 Distribution: unstable 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 (5.0.0-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 69819fb051ea49e0cb5b1c5706dff1346116f7f9 2091 coq-libhyps_5.0.0-2.dsc 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz c61093257d12203725fb14dcea2392a13acfa6d5 2316 coq-libhyps_5.0.0-2.debian.tar.xz 1a1ce128c3be723a291e34e9c37497cdab0f98d1 6912 coq-libhyps_5.0.0-2_amd64.buildinfo ec1fb602340d4cf0da93b40a0cda09b9370c81df 79232 libcoq-libhyps_5.0.0-2_amd64.deb Checksums-Sha256: 36140fa72e9298ea223fd1ec70aa3fe2cd48fade75957c4b4a1493596aa0190e 2091 coq-libhyps_5.0.0-2.dsc 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz 5428fc048c26b340f25025b26a7eb014466e1f4e34bdd563fd1cdbf2508fed63 2316 coq-libhyps_5.0.0-2.debian.tar.xz 20c44804285df1e9962f248d8090760171c72efb8d6c9d72701e6e45ee58d199 6912 coq-libhyps_5.0.0-2_amd64.buildinfo 4872a6644a1e970fcdc0bd7eb43a4c997db5fec359a08f27c7d52c80c606cd83 79232 libcoq-libhyps_5.0.0-2_amd64.deb Files: c7fa14c23f78e3829b169df1df4c5d7d 2091 ocaml optional coq-libhyps_5.0.0-2.dsc 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz e3141b89b0f9995a87cdd8584cad5ee6 2316 ocaml optional coq-libhyps_5.0.0-2.debian.tar.xz 1657319bc1890f24f44385a7f61e592d 6912 ocaml optional coq-libhyps_5.0.0-2_amd64.buildinfo 41f608ec596a8d110be23727aa97b72f 79232 ocaml optional libcoq-libhyps_5.0.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJMBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodXgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY+MD/jIQyZg2kW+ZYPVDMzECVqq nB5DXGDCuygvPUlNLU8tIAyXhr5j+G3FQKPhOnme0scZJqDMB/sMKjFVp4lQBWFG jcwBY2oWmeRLDEVmD9HEA7ZuCDogq73Ajj6hiCTDO28Ugzn0KlrVZIUjY+tnZ+3d p5Obxun6lSYqBA2cbxsIueLm+cRJO9P8brr+ABuay9OedJ7ikY+pZV4VxfQPerLg fSIr/m0w02xn1kSql8NvagEGHBgIJXmnG0/qUg8w6G5Gfr591cPXSUsjPJiI0KO/ yBXfVIHgNPy+TAKO0Foxl/jp+AY188TtgoqReVM9vvAcVODC0LGE79uSEWBFyzHX BKP16ZxdbTTNmHc8FPY6d6Y6biy6P74+5kDqhObKt/BbT1mGJX6U8HpdMZa0e6UN KN8wD2a3D/+9kfeaLcCmmNsY+lf0YwrwqKJ5o8Or8dBLk3cPq8Ji4H5YJyz8ubfg AGx7ZlXNf/ADU6cSuk0TkNslMt2WmBJcPTLg+sxVjVOzIvQMMM4vzXEQrTsMtzkC qFKilo8U3A1iszpjHVTtEMzpcMKG/QD1MIt7sReIMZKpbgu/aL32B62rDbVRDkyl bHHlfzmVhht8yeDPcXl5zbo6yqIlm5csRXiODeDtlzWpZKYBOZQDbBzjrK2su5q2 Q5Wy278Lo4DrwKrYiD2B =EuDj -----END PGP SIGNATURE-----
