Accepted dh-coq 0.1 (source all) into unstable, unstable
-----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-----
Reply to: