-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:15:10 +0100 Source: coq-libhyps Binary: libcoq-libhyps Architecture: source amd64 Version: 2.0.8-5 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-5) experimental; urgency=medium . * Bump standards-version to 4.7.2. Checksums-Sha1: ea3a9c55e5ae21629f472df7c2c0265641fecc2e 2084 coq-libhyps_2.0.8-5.dsc 5dd3e237abb957f5e6b6bf4cd9cc76a6aee621e0 2300 coq-libhyps_2.0.8-5.debian.tar.xz 1c3273fc4f96c70855229c03e404c9bc5f76a044 6804 coq-libhyps_2.0.8-5_amd64.buildinfo 38e22e3603fb571a648f6e6a6fb4beabc075e3a6 63328 libcoq-libhyps_2.0.8-5_amd64.deb Checksums-Sha256: 72f767d7fd22837f124e21ede200443be5e5f29d1854db619b8ddf82c6d3473b 2084 coq-libhyps_2.0.8-5.dsc 8659ce9fb36e788eb4a1f5a1bab7bf2aae74f6bbd8788d78c303c6ea4482a0aa 2300 coq-libhyps_2.0.8-5.debian.tar.xz 350b18ea136dc3f779d3d94d0a3668e8f8dbf4cf72fea1279a181c4141690617 6804 coq-libhyps_2.0.8-5_amd64.buildinfo adcd4fe679f95b18b6c3c36bf83fd14569e2a3a5f7ac32c8ec67f12fdaa61efe 63328 libcoq-libhyps_2.0.8-5_amd64.deb Files: 6a626efe2503f865d81158443ceaf4d3 2084 ocaml optional coq-libhyps_2.0.8-5.dsc 8d4753533da10ce20354211501e66ed3 2300 ocaml optional coq-libhyps_2.0.8-5.debian.tar.xz b01738f901469e3f1adf07abe0afcf8b 6804 ocaml optional coq-libhyps_2.0.8-5_amd64.buildinfo e97554b09fc35033f6b90608c01b41f5 63328 ocaml optional libcoq-libhyps_2.0.8-5_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzZYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeMTEACM19+Bsf4nn53od9yiGrtv ke0+iMVMYLvl8Is9UjePpZJPB3vGI7Wsrgx9axU17E1qIqq09h23IneDBpLQxT6+ Bd7/unp3yVruhWTEfg+/hogq7PJvHoAFulezFuUpjaAKiqX8F6SB6YJduYwxI8h4 eiLaZjwWOFvY87G5Ot+1WvRXFrZ4UuGWs0hrq4AtQ7LqVUnfdO08TtUnkiJYyfW0 OwHv98LG9YOBIhxTx4g333EbW8zFVLecnp3FqTOWLy96HrioRv3qMGYYeb+0wWnl pKR7oC2c3NoPPboKTNQP/yz+7lH105uD+YVy2UTnw8tGQB6DV6Yqh2WvQgouijCH Y97aomT4A/NDnbf22L7bnbRXjKstrNgh0MzrYgJF8bo0l2jgMW2jopGDdiDjwk/n fMOtDzz42cL00vq13MEOdjLBhfbZYgu+FetLF3otrel9sOVu19btX67NSXKl1aon NKkIEV9r324TVMcxkD0P3W/3fGk7ywd6vKyCVJ1wTTmc7dIAl5zcVF8oX4nfFeIb jv5JFdyLO0W1oI6zVZ9zjcBduTrZyXAhs3N1995EelJjNEOBsimKgmBV5H0oJHbB Qpkl9rJB1ogDyNmzZMTp2Yla82aH317ZHI6XBNCXliyt7SQPDb/sjbWpBcpYgc9H Twy1rViGbx3/HKJeFwmZqg== =c0ni -----END PGP SIGNATURE-----
