-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:18:45 +0100 Source: coq-menhirlib Binary: libcoq-menhirlib Architecture: source amd64 Version: 20250912+ds-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-menhirlib - support library for Coq-verified Menhir parsers Changes: coq-menhirlib (20250912+ds-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Package new upstream. Checksums-Sha1: dc33ac727caa2d3b93a8e2d309fc8246540996d5 2157 coq-menhirlib_20250912+ds-1.dsc c699440c14f5bcb9cf9d93a011cf63f327f08e8a 84924 coq-menhirlib_20250912+ds.orig.tar.xz ad827fb8dba90e5d8c8414e919f88e6f69849bc2 2216 coq-menhirlib_20250912+ds-1.debian.tar.xz 8a0f1c2a33681d4c586be40fb6fca0613afae9a7 6873 coq-menhirlib_20250912+ds-1_amd64.buildinfo 1094c59db83230c3d2298cc62fc446a987c9abf4 914372 libcoq-menhirlib_20250912+ds-1_amd64.deb Checksums-Sha256: 6de54944f6a198ed5db8e79630c2febd2aaa76c6f6ba2ad79d90a344b665a014 2157 coq-menhirlib_20250912+ds-1.dsc d68bf258db56d609d25fe73da960b832546e6344bae54023d0a5b90ab018eb78 84924 coq-menhirlib_20250912+ds.orig.tar.xz 80975d95b4d607027ad8de0c4d7f5b8ebb2b8ac3ac68f9b2dc33f503fbed1543 2216 coq-menhirlib_20250912+ds-1.debian.tar.xz 569a83c44f257a2aa68fccfecf8fcb95763d7f1130190ec8dd5a073b0bcfeb46 6873 coq-menhirlib_20250912+ds-1_amd64.buildinfo 6caf85798ffbef89d83e87f8a2b13d3e3538acd343d68bec09b3e4dab40c1756 914372 libcoq-menhirlib_20250912+ds-1_amd64.deb Files: 59cf627cfce5815c8ff0a81970396843 2157 ocaml optional coq-menhirlib_20250912+ds-1.dsc ffea22e09f8a080a80248db9408e7ddb 84924 ocaml optional coq-menhirlib_20250912+ds.orig.tar.xz 14c72afda5afe6586614855124cd5898 2216 ocaml optional coq-menhirlib_20250912+ds-1.debian.tar.xz f1cf0f941aec109c6cbd1be799d40d07 6873 ocaml optional coq-menhirlib_20250912+ds-1_amd64.buildinfo f36c4881a0b7d4ddc3f950f00ad7fa5c 914372 ocaml optional libcoq-menhirlib_20250912+ds-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzm8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUNWEACTqEdjwwiziQyQ8xCzrTdq e6LUwSnxmuvbAeH1GM3ACjSeNiyrdCQjqBSqEB9G47aH/otNpb5lLBe/RBYYbMqk VOunBXw3H3cD9ljqWLTuPRtyYeBDom675eFej3erWheVPMUgPdj47Srf8eT2vwYl tc+STlclvTa5WQ1ocAjfWKjvWpk598xJ+g2oZAs77HwF3itH+oLWTkZcLYTNMO6W ZPJlxDoHox82su5/nKcCC6ks4B91t7V93zby4d8lbcyy2nULlPjtK9ytcDU9f0hQ hE5F9qwdFVgBT+ZFggC+k4lNN7h4BG8De0hqG5Nzi99QnG0Z8nL528Qu5Gups4VA yRO4bRzX3KQfmwIAuCBkbAdcqPON+6ipRsn/DJBNKoqnftezV+H5aB4pzeydyrtp xlfnEtWk/QYUh9v3UKz0Cw9PXj/Zzv4ixk/EvdlHzvpBRCPlJgp7da1wRUobtwgm Dd5g9n7Vm6CvSdHl1tBSs4dEaQpnjooiQh0elICnp4d+w+E9QN7kKWqaYA7/ltRz SGWRO19K/EiyiJpB7hRAzt27BKwjyyHxNr3fsgGJD+UdmToZm8HaDJeilmkYGga4 WTNOp3wM07sg2e3i8N+W5cXs6nEfta0hky4QZwCmIjkNM80Bp/2M4CFoc7GOA7VE mjaX5aTqyy5Syl1yxU5Svg== =66jc -----END PGP SIGNATURE-----
