-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 16:34:02 +0200 Source: coq-libhyps Binary: libcoq-libhyps Architecture: source amd64 Version: 5.0.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-libhyps - Tactics on hypotheses in Coq Changes: coq-libhyps (5.0.0-1) experimental; urgency=medium . * Rewrite d/watch. * New upstream release. * Bump standards-version to 4.7.4. Checksums-Sha1: 979416bbd9f88a7266db9a747231a472ba4f2f8e 2091 coq-libhyps_5.0.0-1.dsc 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz cbc4d4449f407c84144fc1d5c01aa7a3900222b8 2288 coq-libhyps_5.0.0-1.debian.tar.xz 13ed54b6d1957a59be5c2cfb0468b9a35674187b 7397 coq-libhyps_5.0.0-1_amd64.buildinfo 6cc8d8ea0c896e587837fb8313e2e1ce98bee5de 79156 libcoq-libhyps_5.0.0-1_amd64.deb Checksums-Sha256: 4b5216712e8f544fcd76ae19efa7b9533f65b3a75274ddb57cad90d4e6484dda 2091 coq-libhyps_5.0.0-1.dsc 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz 81be17c6624f712b020a7a28cec7c2fcc3f98a52c0d61125b5179ef918a0b881 2288 coq-libhyps_5.0.0-1.debian.tar.xz 69964086a288a27176360a06cd6bb0d791f6c9b43acb496b11d09aa75f4912fd 7397 coq-libhyps_5.0.0-1_amd64.buildinfo f0c9056ad218affd60480e0f3f5b620a18584217c6dbc25e6be1efd0bf8d17b8 79156 libcoq-libhyps_5.0.0-1_amd64.deb Files: 1e348c296dfadff727e6066916c4a5a7 2091 ocaml optional coq-libhyps_5.0.0-1.dsc 285324dd6a00928fc4c493b526bee9d4 47931 ocaml optional coq-libhyps_5.0.0.orig.tar.gz a3d5e5983b440deb38c8d0a5a09f4c29 2288 ocaml optional coq-libhyps_5.0.0-1.debian.tar.xz 4124e5b305fb70c6519dd12b34559d2d 7397 ocaml optional coq-libhyps_5.0.0-1_amd64.buildinfo b12f24b23d96db70f50485275ac0686a 79156 ocaml optional libcoq-libhyps_5.0.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRBfEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUe8rD/9vZuOfD9EsuJKlmIDZlRla FueV+FQ3GEg5HsRYybOsDicdofiNC+KPIIG+0SR3UdAokHLsZZwvTVcUZSrKRGt4 AvySTqmo15DjVnvBhg8NQREfzi7BGYFsbbDHpksWRJREkdOlaLioF4blTtpFvlSd Pu+3UnUcnBKYTnbDGYbNWlhcnKHK46g+EB0U9Q4sicUBRlK7YlIY0WkP0Hw1pxA1 xQGYRh0ouEmU1avNGlrRLh+GwtOh4wG2m8OJ0Fw6TSypi5RHXAaxgXiS8K9QJ8G/ /H2OPmHfMXSQm0NG2toodYTqRQrWlIS3BzTNgtglNUQHbLtKt7mscQTpbBfnke03 ynFZ5E2NTK5t1QTdBd+7Rx3OU+M71DG+jDADIouRZwHECz7kd2xSdU7pAi/bnUru PluI5JErBUcAZMZzHQpYLzoQ0uEZGVA7ERlr4MzDAuP8vrcPf2AcvBbeSbxCc69E DcxZy4t4e3KgBau7YbxgBBYqBYvO650EKeP3YgQsE4ccr+o6UqIl7CusudBopHgO 2TUnwGN02oLSbDoh0SfF7WVl3M/7PKr/zI00y0V/vKXXHVErfqh8mooDIB+H2CMa 1fcNpvyIkhXbNh5cWFGV0prSXXq7sP3kSyTZn/6A4bvZ6drSA6TRMRRFyu3DVYRD xBphtOYwHkI2WzbaC1O7kQ== =sUoK -----END PGP SIGNATURE-----
pgpxNgVV4PcxW.pgp
Description: PGP signature
