coq-unicoq_1.6-8.16-2_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 08:51:17 +0100
Source: coq-unicoq
Architecture: source
Version: 1.6-8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unicoq (1.6-8.16-2) unstable; urgency=medium
.
* Change b-deb from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
d8b36dc2a0f7f6153259a2871f007f7bb5542871 2084 coq-unicoq_1.6-8.16-2.dsc
2e48f11a9057d68d7119b8eb14f8d3f4a3148b55 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz
ef5ca8e2c5c6996b09c900c8cc3e1af1cecae496 7395 coq-unicoq_1.6-8.16-2_source.buildinfo
Checksums-Sha256:
0690f31b8b1adcea06d2a9db4fd88fdc63e733d911d3a32802ea22bd8bdfb5b5 2084 coq-unicoq_1.6-8.16-2.dsc
0e818f2759e63899adc561361e83289c974b478b5372f99e1926df830b9c8dda 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz
c883b62c3b44de3cd56995930c3516eda0b753d325887aab8bbb62e6676dda65 7395 coq-unicoq_1.6-8.16-2_source.buildinfo
Files:
e49722480d0233d7b593e04ed75b030a 2084 ocaml optional coq-unicoq_1.6-8.16-2.dsc
3a26239fbedc871eea207325f291ce39 2364 ocaml optional coq-unicoq_1.6-8.16-2.debian.tar.xz
1958788113a5bf3a112fae5728bdc960 7395 ocaml optional coq-unicoq_1.6-8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ35ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhyUP/0Ndo3FXUMf4mxwkSnZb4cN8oW4+jqfI
kLt92cN4B8PXoiSxof955jPHX0mmf2qsDoLSNyjTYh2nR+f6V6OVSrkfJFPFFqDP
LSYv6LyjRcvZ5tJP8qvCsI+d1Xb1c6PpU5SYE6pueuiH8O6Pt38hQVe4UktAIy3h
TaWUbjajkrDZh8zaMVSSsRPQOolUsJa3wR071KTtGvEiCmwzIiM3nECZ1Sdj8bvo
nKlbb5qb70yA4/g3ovzqrTdPLH4eGJkO3zNndhvFqWN0VwBGLnmZfxE6Kp/fxLtD
+KFgj9N575Zv9mUZ7suirWpcV6sfFt6DGDIniFJ++XlrWQbhtftmsIHUweoB8Mgx
W99vLHc8l3UvveCnwdHtvx1+sILNX0mM/DkcMEdJ0fPLN5WqzQyoxxnNhF5WBmCm
c4hiI+FGEpYUx9TAD0YhfTuKbRe3F5MM2pXSWyOxDFttGQSNk3/PqFzURpkG9/Yw
xLwEgAehd9+yZRhQQiZlqBdnrGyxeltO4y6MphSpAIgyEtify/X80KalgvSltPbV
kQ2cMdkgYYGDIxhUCEoWPG9KzO3PZ5lxcGI/UjEBkqN2sg14/UvudvHjTdYjq8rl
5A9GZwOo3ojjSOJAKELj1GWPMZS01Y0Oae6cJHF0GzFN7ZU4cUl1BuUekwMNXKp1
n8KIY2uviaRh
=8bk2
-----END PGP SIGNATURE-----
Reply to: