coq-unicoq_1.6-8.17-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: