-----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-----
