Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============u89963132540755940=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZlq9UgAKCRCb9qggYcy5 IUuXAPwOU2bDUSahSJFE2Ynzm2EUJidFXcCBu5uaQPmQN2VvxwD+OD3rh1M6Y+Zz /SMSVCqbvejnH98DF3kBuEwFp/PNdw0=QyPp
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)