[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-unimath_20230420-2_source.changes ACCEPTED into unstable



Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 17 Jun 2023 15:37:55 +0200
Source: coq-unimath
Architecture: source
Version: 20230420-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038382
Changes:
 coq-unimath (20230420-2) unstable; urgency=medium
 .
   * Add a versioned depend on coq 8.17 (Closes: #1038382).
Checksums-Sha1:
 6394e0b63d838475ac99fc4661a9ca2f0cd4f5b2 2109 coq-unimath_20230420-2.dsc
 492ad08679f16d33d092315ac79612c10dd8d667 1860 coq-unimath_20230420-2.debian.tar.xz
 df908d8c26ab03434aa99d5e9e50dfe2811614fe 7442 coq-unimath_20230420-2_source.buildinfo
Checksums-Sha256:
 34a4545731dfd7b18a0bd8de8b99ac41124acd6a4c82f7484be5599f89baf89a 2109 coq-unimath_20230420-2.dsc
 b33f7bfab26889bfa295eaa89f6dafc64a65743443a605af608bbfe083ae672b 1860 coq-unimath_20230420-2.debian.tar.xz
 6bb511e9645b03dee0185e6cc8acbd0d7c66d729b52327c404975f3a21389840 7442 coq-unimath_20230420-2_source.buildinfo
Files:
 7f8fee5e175e7568ece60f8c9653a5af 2109 ocaml optional coq-unimath_20230420-2.dsc
 82f5bcc6fca41a105d57d540d3145d59 1860 ocaml optional coq-unimath_20230420-2.debian.tar.xz
 9077c6427f584793c1afe8970bf886bb 7442 ocaml optional coq-unimath_20230420-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSNt8oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjlkQAIY7/AF0ufKx56fM1Fd2BxBcCA+SprzM
I4aqwL6Y3b2YwO33CpzT8GYZxVqMn+nazZCL7qzp0MM2LE5UOJWRt0q5gDmNX0WB
CZknqLhpjZ5HmBdnREOw6yh3wkc02JVBJQrxk/p6PDkzqL9HAGO1Wn4ytifQ+z/Y
GQ3IJaFz5oq1S4KJRQG1zJ7K28KJ2G9UjF5SRAnm7baH7PIQ7Wy1hf1R8XfM8TTv
m576vES+rkYYHZSLtZbJpiG2AzeZdKcKCfDYTCRoqvUKGfzoJbkeYTdku7DX6HW1
HuD60z4CI6x0u7/YCwOW2fO3Z2VrILhZ0GFDJZsHnXwGJj6+SxbFJaLXDVjM7SeC
2C7FcX4a8hQXlD7P5PYWDPHPucs87ku76MmjxX1bxcYOnsdS5UwYkCxvTlmOcxrq
XdokZNBnayh+hf0dyvldZfzYZLmSm8Z8pJuoZb/j7F29GveKoPBx2AUEGPBfXhXJ
10j2+812daJPAeEgpmHoa/3YN71zemKUt4dvijU2ckOjuLdvyStM5MTRPJbgQ1Cd
sJIcyjhcSflJIo+GHVaM437wBl7jzGOwot7+028oxfCbrHJ41T4T8c97YZGCqIc5
+vMAGgAfhqKZUtv5FiEgEkmYKGshPfvoIvVaIPx3dcgrU9ev9LPLhR2yIM51bRAr
JZqrMJBtLnWo
=OZAQ
-----END PGP SIGNATURE-----


Reply to: