Accepted coq-elpi 1.17.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.17.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:57:40 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.17.1-1_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.17.1-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=RD24H7BbWC72+GAg0f2+dLFxd7i1nGohjg0jYBbjXbQ=; b=auV1VsFJL1wWmhM4VEm385heBs WudOjcREVyGZMChTpTYAomv88lWhs6Qb5QMC3Nz3duBRRx/nq8wshmvcMDDTnZf/3u/RuH5X8e7Im AziotvwWoOrT2I48Vrfg36Sg6iKBuziXfltookAes/w30bEBUjHbedw/DpekPAclZr4bgdbsckBB6 s25LP6+HSywQ1jZt366xIFXXP9e9gADxsGb0Buz/bq+cgKkc+KOHgc+Vju0x6m1qVN6Pq0FzrAI1j iL+tRsqZSRNdWB+3lOwKEB93fVvsRPwaWIrfON+DY5BS2BaLpPJigvNOrVcdTIp0PQDKtCCCniT/L uWB20Aqw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8obc-000G6J-Vj@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: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-----