Accepted coq-unicoq 1.6-8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unicoq 1.6-8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:58 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unicoq_1.6-8.17-1_source.changes
- Debian-source: coq-unicoq
- Debian-suite: unstable
- Debian-version: 1.6-8.17-1
- 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=q8UYdSBnne5RTUecx5HooF63bOl2AQweRsTcExSjuNU=; b=YUtgx2OilAepbqV6FOkeSpvd+Q ZgWUdfrYQPpErNkOfIMfGrJxqA/cgrxg7XeVned0tnr5MbA7W8laWeHqSUB1sdVrpCzwNrib/uKkR wlpf2enLemRtqhIOWXeuIeUoif2f1oSbSfJAtgX43GUpRdKekROLItUQgqAUYZAafFczs0U4BcTno otoHIj0t8IraZ//Lk2TAGejmlh6RjVzwkrmnNwK3yGt0ZrZTs/GsaW5VSY8a4luNj2RDhWJTGQnB9 f9DQyM6gEy+2xLvaDVx7CC7N6qpec+Kqksymm/5SlVEZhYnS2XI/voCu7avWmTUtgkA4Hw+37pjGy DY7OQgJg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8ocs-000GaD-Pq@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:34:38 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-8.17-1
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.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
aca9425f4d0c54748e5d640154399b73ef895fd4 2084 coq-unicoq_1.6-8.17-1.dsc
2076aa0c30b6dfef9dd405f807c99061258b9f1f 593595 coq-unicoq_1.6-8.17.orig.tar.gz
37938637f25bc78d13fdf500d043ff8362944f1c 2480 coq-unicoq_1.6-8.17-1.debian.tar.xz
1f526083f5285cdb4730041a6ff898c75bcc0d74 7347 coq-unicoq_1.6-8.17-1_source.buildinfo
Checksums-Sha256:
ba42d1e97ece2fd86c14c1fe227a0eaa609f55d61060acb7b0b597880ae00218 2084 coq-unicoq_1.6-8.17-1.dsc
a02448a7b992a09a7b73c38142cf90cd040667bc0ca9793b42b787ae7fd8b86e 593595 coq-unicoq_1.6-8.17.orig.tar.gz
ae539a24a4e398165b1dd41a237d90ad1091b1ead0c5c169223999e3ea68088b 2480 coq-unicoq_1.6-8.17-1.debian.tar.xz
8a5c9c216d848203092fe067a5277999090a048ef6dd40ef6b7533b7d8a36d89 7347 coq-unicoq_1.6-8.17-1_source.buildinfo
Files:
cebcdb8973b7f153a4db4bdb43816fd2 2084 ocaml optional coq-unicoq_1.6-8.17-1.dsc
d9e4de2da54c973a2838ad2871e47df6 593595 ocaml optional coq-unicoq_1.6-8.17.orig.tar.gz
1fd485fc118786540131ad5fc456d9b6 2480 ocaml optional coq-unicoq_1.6-8.17-1.debian.tar.xz
783679122613423fe910f634023ff5e5 7347 ocaml optional coq-unicoq_1.6-8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVzQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZsUQAJ5TUkoTV2MsrBwlM9snpuIXrWVl4Y03
1ocAl2r8HFFqjkbhGarQi0eI9JyaLluYwV6t4yiKhynF2S0ViNH+snl98YVSq1Lp
duzsVFIPsqHWiJCtKszEGSFTIh9Ms2f2rgCavKz0zLIFrvWb3p3QnaSOEO/yJ2xk
KLvckKcbL/6sKIYo7X4JCSgzjg7Kr4U99M+++O59NNVnS725TzhJaIG4fp4oiEcz
3Cjv7aQX9qkA0KLZwAomCuXIJDU21ifntyQPcCPqCeoO1glKx3wrpEDgf8O7CaRR
lLoseCqLBozdE0vDyEnllOYy14o8GJj3XO5w1boBjI0sJQ5m+bDw0y1EJ2uMTG/L
sQzFop6MwQS4EvKyU0o0+0uwwqYIf7Fr69yJmpFl/MMNGR8tb0B0DOW3LcPEtdf4
eOoPawK3Ro4dRgWgaNaFI2+RcePuPAd9/kw4F0OJRmhMIyHIPZsOnNyk1+6Xgn0Q
NqEckfYsRbf4UI6aDeyy0Z9xV3u/pbUSqKxor9dQCiX3OH2Hho1vBkb/rfsQ83Jc
BEtJfoXFtughC33vcqZgnCjmktzWKi3WHOViqyo9r0QjQQNHrWnAUHMB+gUxwfeg
8tu0BW+4Au13uNI1OAdVpIrSSrzkU7fy7udHGn3TeJoo8VC/kBtyMzUKbn8mGIvA
MCDlATLrJbDM
=NrLP
-----END PGP SIGNATURE-----