-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 12 Jun 2023 19:29:08 +0200 Source: coq-elpi Architecture: source Version: 1.17.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (1.17.1-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. * Bump Coq version depend. Checksums-Sha1: c73a9b524d78af1504b578cbd5ff3da29c1f738b 2030 coq-elpi_1.17.1-1.dsc 20b9ae3dd9c7a20a0f65da91a74943cd4b746f86 430263 coq-elpi_1.17.1.orig.tar.gz 0404e3c30319cffccbb6fdb74b976c5f2f3720d0 3544 coq-elpi_1.17.1-1.debian.tar.xz ee2526bb220450e013faa8655c3378e2b8771c1a 7816 coq-elpi_1.17.1-1_source.buildinfo Checksums-Sha256: af5bdb0f1979f7da7b01cbac8ee7d07d94f9e3fea6abba32ac0887bae474b0ef 2030 coq-elpi_1.17.1-1.dsc 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz a6612c12b1f82c9e78f30a1827d1e4e2356c964b079280b0bd41f6799015ecb3 3544 coq-elpi_1.17.1-1.debian.tar.xz 207031741506fa7e10c424ecefc0ea6eb7f287f4cc0869ced78fb8480f07a62f 7816 coq-elpi_1.17.1-1_source.buildinfo Files: eb3b02ac6bb6588c03d0165793b09121 2030 ocaml optional coq-elpi_1.17.1-1.dsc 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 ocaml optional coq-elpi_1.17.1.orig.tar.gz 3adbfcf7222e44b30bf2ce4704e2b064 3544 ocaml optional coq-elpi_1.17.1-1.debian.tar.xz 488545e2cbe717284ff14dc5c629ab8d 7816 ocaml optional coq-elpi_1.17.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVfkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRzfcP/Rcnkt8SdLYCeoF82WRveNI/o7weQYK4 H0KWobeG0iNS8Ov5KquFWd1RvgFBUs2hT+4+QpMTRJPM0nCHsTvwP6Qbr52cYEgx q3JYki3rfaYueR1Mcah0tfxOmHnrvvNyhTuqty2e73VYgL8wyhF2mw3Z4Ry9yc9l Ze6FIWsgdAq5K8XbvZXDJlcqqHwlXrj1ou9CnM2fRACMqtUS4za1OdeD5fE4LCpv sPrsYWPgdazSrK2zsoQAQRDqATJ2GfrzUVq0gUudoPHIxj1nxUSEVBZbDSa1lEGF 5p4NdhAbiH2NjC2LydXHDoENYvg7+lt6mK5JqJ0FrvPMbftMD+xDp0Rd3XwgVGGZ KQM7tl2z5gMOSCsramdw+fAyN6Dx55sg9ecG7ewnlMo0ZSlVTNMOB8htUIuCEfHr 6dXMwpmzKhi9UvHjQhZiUdtXsLq/dh/k8cg1qfSD7DCuzf3/VGIgD1incdkwfx0F CdNiPETCRnrAgD9UbNM4wZxAc10WMB6iFP5Q2lyCKLXf5mZXIr1b7VszMWMtvQPi IxajJUdLvaZ67NMw6XXrvE8kqowL+5ZgGpwU3hb75IThtJMy1tdqLA1My+f+tSGx hsXNPME5qjVXLpwWcT5k5fmrzHP2xIcxOKOsMQsJH+UKAQYryK+B9UkMg6Op1Qly jFEm+eKWj/Cr =V+7N -----END PGP SIGNATURE-----
