-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 00:14:51 +0100 Source: dh-coq Binary: debian-coq-tools dh-coq Architecture: source all Version: 0.15 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: debian-coq-tools - various tools to manage Coq-related Debian packages dh-coq - debhelper tool for Coq-related Debian packages Changes: dh-coq (0.15) experimental; urgency=medium . * Handle the split of Coq's standard library into core and stdlib. Checksums-Sha1: 3c7fa884187838a034ed40d940b8d1c5362aef83 1670 dh-coq_0.15.dsc 385947d36a9ecaf9c6e8fd3698446d8dd42e0082 10720 dh-coq_0.15.tar.xz 5cebdf01a4313cb9c6e9c19d77e362fe34690971 9944 debian-coq-tools_0.15_all.deb c68664a299fc0adb26b37665608a993f9e42b065 7032 dh-coq_0.15_all.deb e3a1582eecd8806cfd65271407ece4e4445d12c9 5752 dh-coq_0.15_amd64.buildinfo Checksums-Sha256: d36a70d5e9b120d2900c5d8a59b96852576f46916b691c01258518325828fb11 1670 dh-coq_0.15.dsc 3f5e065baeabd49bce069569e86a640cae7721a3a5331c82f6d8cde281d43e96 10720 dh-coq_0.15.tar.xz 7a71928f3ef30061341a1f5fedd3a144a607f9ce114d942e7f42fb0ad4f805f0 9944 debian-coq-tools_0.15_all.deb 029a1843c23fd756d998d920416f15eba684b15c1624317cebb92f22bacdd033 7032 dh-coq_0.15_all.deb 9ef5ceadf8c4fb10f4c3e1ee7d9add1b7245cb71b9ff4465c57d14e7f1f1e79e 5752 dh-coq_0.15_amd64.buildinfo Files: ee9b68154f12a38194b968089a91da5e 1670 ocaml optional dh-coq_0.15.dsc 1fe4619b277d21492d9c5a3020bb9c7b 10720 ocaml optional dh-coq_0.15.tar.xz d34a78f26a3f22fd5bd5b207b862a5a1 9944 ocaml optional debian-coq-tools_0.15_all.deb 897f785b51d7c0f4d13dd6b1ac95dc5d 7032 ocaml optional dh-coq_0.15_all.deb 709c8adfc51fca122c0821fd2e9ee67f 5752 ocaml optional dh-coq_0.15_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUZgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUdbD/9vh/fYXdIG3N7Swknv7qMS 5ifp9vRwRWykCTP1uV4FwsDB8cU4aNJcHvMXIgkf188nCCbeansa9uMCU2P4g9jL eG/rby/eSoS+mRY6nDvXJ6v4HXGtGcGolpfQabwsQ+nHuXpswYCoCohCGY2Ar9bd rRhrU2yWgqJU6Nojo0GUBOnAchAZPy6FvmgHllsMZMZx+xbGVcpqGQa/NKOwToEB hSIg9+eoEXYQDKKi4fggldUbcZrW6EE63fQx0U9NLyzt2cQ93C0yVXNh51Ce1vFz qZcHX+TT3VsvwO8MOvmKHl8e6iM50eh6ZQchELzdYkZ29jqzuW34evNGf6Kb1MN8 BT4xJzFqfSc4xLvXhLVvQfXaMhLwM/DN5RGxRwEFzV9XTNfrc8qMz0/qGWEgnbV+ yIPp7vfxKGTtJK8yKJZ2fgOJ1mNjl6BvA781wTKwu3rmP8j/7o2/wzbvGsZp2LuU TvmSGAdWf3YB7pYd9Z/VSY/W4BpuCovOV2d2g4FibFuSAMvdAAh0PY2jGls/ZKhf 9VFVbP1McM5kx66u2yRdrZY7L6lh5G1lzyePcOrVNWt4RdwDho/h5CVkJKgld+ls Z2Nw0ndWdsrq8zuc+zNG1x3C635nJUMNMbMFmoN/nCcNseCInAfbNuYRiBtTRgpG FK7YsM6VKhe7KBgB7mOY1w== =78PH -----END PGP SIGNATURE-----
