Accepted coq-unimath 20230420-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20230420-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 17 Jun 2023 14:50:10 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unimath_20230420-2_source.changes
- Debian-source: coq-unimath
- Debian-suite: unstable
- Debian-version: 20230420-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=bYkHoz5od2hePzxIXoob1s/3fZxkwgfstZD5OHaAzxo=; b=qZR3nF2UK7EPGmc79itJBpvSmp 4TQ0Cv7kuCvp8MyKbfmczVq9yIaot/LuCkCKH+tPuM+bGYykUWKoC3adpA3rTgLFtQXTvi74IfLt9 v5kI5OEA7lMG+hVYiIG1eBO2ECBFImLbrhIA0wWS4flu1+4EizSJTQggqkNqk4zDwEZGQs6vlPe5/ 2GfxIhUdeQKD+FiARknOyh0eMEKYIs1Uap2+71rLcvFe0FYC5M6sus5G5plHTKsuRY9UTJ/w+Q4kh muHBhaBBa0WIMT2HzUvA+qahXWysuCofXjYZ8axN7AiktXoHEklT3jhvHLqIKHIOfcaYEIYzverJu 0tKHebpg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qAXFi-007Mjh-5O@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----