coq-quickchick_1.6.4-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:56:43 +0100
Source: coq-quickchick
Architecture: source
Version: 1.6.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-quickchick (1.6.4-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
a03af37dda7b0e6cfa22cbf14db9a51b9c135183 2261 coq-quickchick_1.6.4-3.dsc
f03970485bb1998169c25223689baee4c4596f02 2724 coq-quickchick_1.6.4-3.debian.tar.xz
55a1d943a101032a44698227fe666edfb303940e 7687 coq-quickchick_1.6.4-3_source.buildinfo
Checksums-Sha256:
287c26bc9dea58e9f38078af1c5eaf654972e3a7cf59ba5fa613d029e965d0dd 2261 coq-quickchick_1.6.4-3.dsc
0ed3da1269a64008f6fdf6ad0acb8a33220d57cf4c83f09cf942d6381929d0d6 2724 coq-quickchick_1.6.4-3.debian.tar.xz
017757ca1892cfecda9526d3ce2b0ecdefb8d5181fda61eceddc6f16615461cb 7687 coq-quickchick_1.6.4-3_source.buildinfo
Files:
88adbcc080a4fe72201c8c9771ee55e7 2261 ocaml optional coq-quickchick_1.6.4-3.dsc
11f825d309dcc72d437e79223e81530d 2724 ocaml optional coq-quickchick_1.6.4-3.debian.tar.xz
bf908cbc06490b75311b0c75ecd2f5fb 7687 ocaml optional coq-quickchick_1.6.4-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJx0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0OMP/RIqCuRFQ/zK7IpNCa+V8E5Qe35ZgQaf
Jcj3d7bv6PLlrHRr6SqL0ezMT0NBfaXdJr8404WjAqK4VU720Fc/GKunWdiVgQXK
n8mOpVjGDdODORsQ/uzD19KfCoPdLL8bxwjIq/lM/Gy/uHQbRm3dXArYwyTdt1iJ
RYkE2MzycZrJEtnKN3TeqN1FSQyi9vOnWu16ZHxlTLvPU7dsjNT8ygxIMM87Xyal
+BzWDUoM0L7tyRuQiS7ENZmOVhjmGPnARGouPTbsdEOGjvjB1HFPfHOB35MYq3VG
sa3NG1osN5/YH4UtsRe/KCOAAo8HbgVZlCBiRdn6i0HF4EO2/eaNRcf2vj8e01pp
NuJCNn2C8+xta+Jlc72kuOyR2xoTmHts9Bj+M0h/eiJPh7LGoNe/lU2fd4O24kpZ
RHGTKIe6h0MIxA9Kvta77RqlaOMyVQrcKSBSQY/buWdvwIfpXHesugNRMgNrHJbm
QDP2WQiyW3B0cym9iiXnn1qbUoC68xgcdgTbmlCml7UJvZjczUxPNXWifRnZLp1e
AJBzcBFZDErRcwmT/KhPin8pByy2AILqDtq2UpchABFnn6ccCLdzfzHQuCroas/C
toegku1TfIAUflzf5rpVAdgt4L6IsRVE+d97KZmCabRJI5BE7d7G/B6w+fAh0+PQ
/EhF/5AwHCqo
=Xlzp
-----END PGP SIGNATURE-----
Reply to: