-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 01 Jun 2024 07:57:01 +0200 Source: dh-coq Architecture: source Version: 0.9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.9) unstable; urgency=medium . * coq-check-packages: simplified code. * coq_packages.py: more features. Checksums-Sha1: a534efdea7fec503438e3f6685c36fa99cf96f83 1651 dh-coq_0.9.dsc 71d27b40629a8318b67e157a54e050e1058c2883 8532 dh-coq_0.9.tar.xz be9bb8442ef4739a8966e38061bfc48b37e89363 6746 dh-coq_0.9_source.buildinfo Checksums-Sha256: 68faa834ba03b4f3ea47a973a9e7f3a439d181cad4771892f2c8758cd0b19915 1651 dh-coq_0.9.dsc bcea7a6538cd7c6bbfd54bd95565699ce3322e34e1edcdcfbd5e15c6857d16ca 8532 dh-coq_0.9.tar.xz 07398f1d28867d89815d243292e375cd25a18314037be87db7aa8e0cded2f79f 6746 dh-coq_0.9_source.buildinfo Files: 9f76ccd395a876c2ebcaa262c66c94c3 1651 ocaml optional dh-coq_0.9.dsc 0d78f8f9399af885aab69c1d066d4f7d 8532 ocaml optional dh-coq_0.9.tar.xz 8f216070466143cb4f95a567454cb789 6746 ocaml optional dh-coq_0.9_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZauLQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRguYQAIdOp1h74BY4tF0/WiUwtIU7rI5mZAwz 17yrbuA4KYeJOHFBtwiWN1MuAqEphyy6RIzrH/IeeYrj0Ykq6DjL2lRvmWHMb86y 18Vl74iy7+SdPN0S/cd/owpxwqkOe/R3sXf42QIt59HpauBgqJ83ZkmSQX/N/U59 KVPjnT7fPwpVyjeWqmyZ3vJau/yoixO+Y+pyPZTdhjqPu41v9GtfiSKlVUvBsHTN mnUZ4tC6v5oEtIjQ1Iupfg+8u4jwA93oos1UxaL9oMMqb9Y5HMJ8CUgl3FbPCg6k zPBGycZDLE3/IMBIYAiPGKU1ie/4G11hcZ7nPjwi2CP4+Da+fCbsncYc9u5qRc/5 ryhWTI2qA1D2DiKGp7UJKPhCnOdEow2Lfm0r0OWKd8N91hFiAsPY1efuJYRixFu7 tXv/UuIyEXJRSuPlBHFVVJyBFlZF0U5G0bvv518X3TeegX0KzKNIGPeCn9rA9T5x ZJ5Ds+bPFut0wREZPUJ3d6ElOkF9Z7WZBa+o+m22gwerI/qNWeBkpxu51YEiPcWn 09SE2Q2EpYYD6b/2fyphbX8wyQmAGq9pFXwEbHMHKPId+ryH9pmD1IVzBBluek1x WXNJXJf6w6rL5fNC+m0pbbc8jAHxRRwgC15ysY9pwmD7ZjtaBIT7HXAkaizUNOLa VX6GPhAE5YFp =zVtA -----END PGP SIGNATURE-----
