-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 16:56:07 +0200 Source: coq-menhirlib Binary: libcoq-menhirlib Architecture: source amd64 Version: 20260209+ds-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-menhirlib - support library for Coq-verified Menhir parsers Changes: coq-menhirlib (20260209+ds-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4 Checksums-Sha1: ba7c43ba8a6592e11262384f0dbb4252a17ccfda 2167 coq-menhirlib_20260209+ds-1.dsc c80432aa75b303b40d2da8e1ad96d7460b510264 367036 coq-menhirlib_20260209+ds.orig.tar.xz 46bd87e311b02b5c7e800acbc8d22d0dbc7c76bc 2204 coq-menhirlib_20260209+ds-1.debian.tar.xz 6287fa76f916616ac61ff10189297ec7ff27a6d4 7466 coq-menhirlib_20260209+ds-1_amd64.buildinfo b7ab49accab02998926afef523a87e12d3460ada 915312 libcoq-menhirlib_20260209+ds-1_amd64.deb Checksums-Sha256: b727778f4f5bc337a0b3d29003013d89220b995b8595ca42ad29a8ec2bd2b722 2167 coq-menhirlib_20260209+ds-1.dsc 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz beb606207f45b43de87e6546bf4d133785b361d7f098f1df2dc1c0859e8eb958 2204 coq-menhirlib_20260209+ds-1.debian.tar.xz 1647930e657c1cb02c3e98d2cacacfe4cf93f3fb39553b20cebf7c463b1131c3 7466 coq-menhirlib_20260209+ds-1_amd64.buildinfo 69696d64d7a44674c57165cbca2aca44066aee9de52d48312e6b7857d7c222a3 915312 libcoq-menhirlib_20260209+ds-1_amd64.deb Files: 51035011f21838551bc9ceb81944e339 2167 ocaml optional coq-menhirlib_20260209+ds-1.dsc 8bbf539834139947215adf64c72b4b59 367036 ocaml optional coq-menhirlib_20260209+ds.orig.tar.xz 127aecda8b0b784966ef8dbb16a7ffe1 2204 ocaml optional coq-menhirlib_20260209+ds-1.debian.tar.xz 1c2ef8b0db74ec6528e06f2926142194 7466 ocaml optional coq-menhirlib_20260209+ds-1_amd64.buildinfo 8aef166ed959f1d7baae595903dc2830 915312 ocaml optional libcoq-menhirlib_20260209+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRCTIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ+sEACLQERqKAYyYBPWawoIkZpx R6PIlBE15eGvvLRFpCa4QZ4jrrMeP1ZlOzNSEAdyTRnQAkJUNk92ZFbCY08od61k hdRMnpNAaPdITTd1fdTZZWDPztxHEOOsBck/yDnAt2dQB4KEyxbf7eXpKZdMD1Wy Z1+Pyc96drYiZ/SzAAxnOFT/rJ6QCU/UMO1x4M/wcUYtSftrvYcXLc0al27ROeUC aerQQSOv47jACcRAHWZ5N1uzMTXuvpsyZLp2O5uhosUXwLzZVcQmDQNVCZfe2Wwh 4XG92e53IEjlv2vOSgeBN/g32+sEh3TtWHvwte7qGqpN7Z9xUCEwbveJuPEHwTMU HwYSCTY9wqP5mHlOxfBGAvKNPohvByY8dzss/LxUZvJJNIxmqEJ4AIailNPWnxn7 JBC/UV2e57vgOkHEmI3F3/xy+IaWd29ulQL76n9/IY54SBblO2jXO/wEwQNGZj+K XW4Bv28pHcx/1FhvTiRPbpDIVE3cd+VPkan7WjVhHWC57HIs97bj0b3TF4sBOEm+ UPtI4kAl8L6iJNE2gBYUQRYypn93qwlAXyaRSGyuYMnNP11kPZZ6u//rSUlAeFgI VlGU1m53WinALTlblpTBknZMY5jcufmWX+0sQOn6bOD3bt8iLbJzfb5ma6Vtg3IU FOMffOMfQESPfuojT+qaVQ== =DYaa -----END PGP SIGNATURE-----
pgpV6ObdPXdZh.pgp
Description: PGP signature
