-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:33:47 +0100 Source: coq-reglang Binary: libcoq-reglang Architecture: source amd64 Version: 1.2.2-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-reglang - representation of regular languages in Coq Changes: coq-reglang (1.2.2-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: e43d054d88432db887812c37dc699fe8567b99ee 2136 coq-reglang_1.2.2-2.dsc 256530983393efb46f05faa5958fb0d6727deacf 8772 coq-reglang_1.2.2-2.debian.tar.xz 37e0afc72e435a0f53b5ce8bacb63daa7361f2d1 7425 coq-reglang_1.2.2-2_amd64.buildinfo 072662f745c652036e4cb9e348c3fcd4e9faad76 961832 libcoq-reglang_1.2.2-2_amd64.deb Checksums-Sha256: c00ad54b9230f253e524868a0e18e69f17cdb3c873c364b83bdee36fb3b96dce 2136 coq-reglang_1.2.2-2.dsc 6c51e6548e606c568e74c5cba0224790363b56378b2872b72334659f4a5b3714 8772 coq-reglang_1.2.2-2.debian.tar.xz d232d3e46f971a1f2a18c94c59d507b454b288a1e64baf2a2fef24f10035dca6 7425 coq-reglang_1.2.2-2_amd64.buildinfo 6380acb6b40ce792c8ede703398cb7764c96a5c6c473a2224595007c3f961da5 961832 libcoq-reglang_1.2.2-2_amd64.deb Files: bb3ea2a8ae790250ad960db58beb94ec 2136 ocaml optional coq-reglang_1.2.2-2.dsc 3c1b9dcf6f512495b3d936fb939e2733 8772 ocaml optional coq-reglang_1.2.2-2.debian.tar.xz 8b9699202897bec56010e71d8b730016 7425 ocaml optional coq-reglang_1.2.2-2_amd64.buildinfo 5222286b97632853048bd999a11a0018 961832 ocaml optional libcoq-reglang_1.2.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkMEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTufD/9CvS0VSHhKgaC1Tk4CIqlJ Ogsnf2SDr8NCU168EgnkEHhYFeu4hWb/aEudf9T5e2cBBag0h0avWkQuE4Y5b+jr KFSChMW5okMiDuRaoHh+qZ25rqMGL7joto5SsmdJdCMeMYo9kpE+Ic7aTzBk712A sjjSvs9ntcwVISMTR9UgRJyO/jC7tUFwrbWHVwt3vQtFxmGJeZhN7Fmi7Bo89cmq cZG6Q8KendYf5IVnMwNmH5C6eH5NyeimZ7GRVf6hPuXiGXj3OHvlQyCpkVuaWBuB n+s3Z1KqOnqofSNmjsm2JRxp4jgIYpSRHv7aAKIxh0s6X6TE9b/ouV2S1+SyTDRm 5sqwjHHPJPtfeUqTva24Itk/NaI/ggYdgjHBUkx1mkVihY+BjuEDacf1AfM3PLSK y3khaO+4Ghf6KhFjYYRf8UfD/OSAJr38SmPB0yFgbnmqtymGpxKQbkwN5bp6xNEp 2sHY/PtT8IFUcRrzar6ijJGJP3OuS6/Lyb98kvbZznAya7PDLVJbWnTqVnnCuqQi z+F84PPQWsT5L1Ls5qvlnm7PwUwO3+NH4DXPdKIKzxzjPA1J2gDyUZzTT1ywb4pP dnJi4lrdyqIqPDJjPAb02iMMLqKRM5t1u477HmL0sLKkFwlk2ulxQm2K+lZVUYNL K70qZPY36wKzUNSPMixG6A== =tD+j -----END PGP SIGNATURE-----
