-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 09:40:45 +0200 Source: coq Architecture: source Version: 8.19.1+dfsg-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq (8.19.1+dfsg-3) unstable; urgency=medium . * Add support for a different OCaml stdlib dir Checksums-Sha1: 629b204ff7f4b44e11aaa388ce37ccd79c3b8241 2341 coq_8.19.1+dfsg-3.dsc cffcdd614339aa61b1d6797404855051dfebf97c 32904 coq_8.19.1+dfsg-3.debian.tar.xz Checksums-Sha256: 6490fc82f3ac6d4dc37fbc3b422717dabbe5a02c95ad319e7387ca4593c1e415 2341 coq_8.19.1+dfsg-3.dsc cd92cf943d2ce2e01d08d2fcda3f65b15ae25aca811332e18f7a58fe560ba82e 32904 coq_8.19.1+dfsg-3.debian.tar.xz Files: ab46c45713746ecb2b7f26b994d0da05 2341 math optional coq_8.19.1+dfsg-3.dsc 53bd334d7f91adece54fc12e900e72ce 32904 math optional coq_8.19.1+dfsg-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat3zwSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBE4EH/ipBu1n+LR91sdfpAcQaED2El25x31yT koLTe+LbReV9Fb5s5iijN8LjbRQfAo73dyMVqiyWZADv8yeSOmU0pdKwoD62U7LY PfwT2hfZ+Wgzess123oQALOHDhe+OlMUcuGGcRpOnGyvP8XeZNBH5kxa5L+VM/yu yqyNSeus9qM533AtKWNCc3igxVLSo6tz5Y33ufx1PuEqlgviYt6pKill2Z/iRNiy BY2cKdlB7F+TluHxti9fi2l+lajqnPx7quwfT5OUXEoHUFZL5W6m4P5b6qEHv+Di v0BY0rUfwJtPSVKoMyEPPAHsjPP/+onUMolUmLMcQ+uc4wcy989Ncp8= =rWB9 -----END PGP SIGNATURE-----
