-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 03 Jun 2022 20:38:06 +0200 Source: dh-coq Binary: dh-coq Architecture: source all Version: 0.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-main@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: dh-coq - helper tool to maintain Coq-related Debian packages Changes: dh-coq (0.1) unstable; urgency=medium . * Initial release. Checksums-Sha1: f9245419686e94933eb514bafbb193d014b56a53 1586 dh-coq_0.1.dsc bc7fa60c454c5208a67e8e38f7073825f78835f2 3708 dh-coq_0.1.tar.xz c5df2308af8f201d903f014727b336bb0966e94b 7100 dh-coq_0.1_all.deb a94a9f3116dd7416617f81255ad7b0365ca693c9 5851 dh-coq_0.1_amd64.buildinfo Checksums-Sha256: 1aaf5589377a6849f396b54d7e9aab67746eb0a2931e8eb3dfd8303f68c1c704 1586 dh-coq_0.1.dsc 8f09d913bd28b8b0866772ca0f8ee122ff96126111835e2e7df748aa491b15cf 3708 dh-coq_0.1.tar.xz b9f91446e2dabca667ee65d0b8e198fc7a2918bf58519cb1781269565edc5028 7100 dh-coq_0.1_all.deb 144b8e291348930cbc1e096a5425aebe47a8237ec1f72bb64ecaea9f85625f16 5851 dh-coq_0.1_amd64.buildinfo Files: 1153be09261d333662c45f6385a8d554 1586 ocaml optional dh-coq_0.1.dsc 7877b9633a43856498bd5d9c675d3d0f 3708 ocaml optional dh-coq_0.1.tar.xz 651f4f9205e04a75baf04663c8862e5e 7100 ocaml optional dh-coq_0.1_all.deb f3ee3e1738ae7110f21de20fae8799ad 5851 ocaml optional dh-coq_0.1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKaVUQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+sIP/jGefnd9fs3xpOITqBUGGEKSNgLYcdof vh7RAblKbTxuHlMqw6ERaH4gAMIgDTLky8OMFS3ClFpa4+7AWJl3Yfb9JySu6DR7 qqBZBg+57hjdEt0mzRSK+kd5ho4x6sUgjWAchbT73Gv97RTskYDa9CNMqOAhdFEf dJpLpwt1pB2ap5zdWT7JFV74xQr7Z738rxv38ZJ8ptQYFBr0D1qSeGiCgcYMHZZf X69ZYaxsJCUVoJ/c+skhuQkS/pIp1cXYcCAKv76EeJik9Jwv+/yi2Q/8mD1RUOxV eqwf2w4pOJ28s1+Nx0qc9UtjCm80+Jhb5lS4jkbQeCBvX1HOGALytH0vf0xeFyDI 6mj+n2u+jmmd6JZRuCQViPYtfoOIvnLBSjEYn1NLy/1O4mIkia3PvfJF4BNzlXt7 d1+K3M3+2LtVxJp7Rxw0X0s0hpzTuJqIKJrJVkwG83YH0mOzR181p9yI2VcsyyZq zneqbvn4CyiZg7UxY7chNM0S0IlI5bvWJe5b323W4w1VhcZKEaX1mkuEaBLAWFnR EJZrPZ0nUjKEp9Skc0//ZgSU4r23GP5ZRCwytJ8J9i1e5+gR8002j8H0SOzbGE9T x1f+EKJkANxxISMljC0XtWcvP+EEh2TUfLaqCjL2Nr4b1CrqKcEQRLsZNKY86geW D0xJstOlPqTi =y6K4 -----END PGP SIGNATURE-----