Accepted coq-elpi 1.16.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.16.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 20 Nov 2022 15:49:08 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.16.0-1_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.16.0-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=rjDL4glqBtyluEJzQQfutI9pxkgyAQl4cPEDlP2OoY4=; b=Y3zwiw2pc8z1F0WAok7BrMibJp boQ3gc/Rbed/TF/r1wqsnoX8/IzDabb/TycACwwV7JwH+HpJ957n1KUvK0g4u9LaoiFRDIMvDWl6x JD/IV3nvjOKJWrmRQ4nM6iAWUC01EQ3m3LS/O4Fk/YDbrsaApTsSySoyJYIcJl87eHF0EE7g4a4M4 dn9MlVXDXlPCxrqx4s1HE96nZ+s/LuUcGL/1tvu7kHf489eIezVD60uMLVra29oBtjGgsEnakyeFt cz7bIh/J6Nn/ukrAcArhTyluu6GMVF4+lp8rS19puHtUvo8N/vK//McYQffkzCTZ2MvtuUcUqin3h WYX9PXHw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1owmZA-00AD24-Gq@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 19 Nov 2022 18:31:24 +0100
Source: coq-elpi
Architecture: source
Version: 1.16.0-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.16.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
1fa34c6ba4eca4889850650e614307ce774adf00 2025 coq-elpi_1.16.0-1.dsc
f340c26af224a9c6844731bddc4b037a1ffe4020 426223 coq-elpi_1.16.0.orig.tar.gz
c29a4024588b153717561b96b0b20b44ec3cf218 3372 coq-elpi_1.16.0-1.debian.tar.xz
53bb4c361efff73cafe2ddeca0792101208e5bf2 7941 coq-elpi_1.16.0-1_source.buildinfo
Checksums-Sha256:
084bde7533272e844300f76448ebea57121baa4e7bfdd5186958660ac8180ff8 2025 coq-elpi_1.16.0-1.dsc
db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
e666c28d25b75ef7c1c61ff98c0aca33497239fdc2dcd3a261267d3ae8848645 3372 coq-elpi_1.16.0-1.debian.tar.xz
8eac23af4f14771eb809eaf52a14667f54b409c98604ec1f900b70d4ed8861d3 7941 coq-elpi_1.16.0-1_source.buildinfo
Files:
828eee375acc583986660368f0e9269d 2025 ocaml optional coq-elpi_1.16.0-1.dsc
688a6cb1b67db26b007a0cf54ba0e985 426223 ocaml optional coq-elpi_1.16.0.orig.tar.gz
eceb32e9a7a066a0bd32d3f0fa0bc6ac 3372 ocaml optional coq-elpi_1.16.0-1.debian.tar.xz
dd5a7c6b1231ccf7721bf07c562eb04b 7941 ocaml optional coq-elpi_1.16.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmN5EwoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNWAP/R7bGzK8R0Ad6fTjZrGYhqOKpiHzKJAO
E4JL+tg1ZeXrb5SNizQip+fP+B6NI/Qpo/nVn+jpIHpis1XwaIW9Hz9C1ut5nM3c
GynxzRtnYkMUmy1EyaL7SDnkhAM+zUZTk0xeA4bQWEHDsIYwmiKEPrrii8kDWbQo
NjNlOz31o2hoDIZ4eD6DTxTKAe4GFymPp+gp+GJDdg0d5weoGGfh1s3lmO+C5yoZ
om+kYxVkmAeKnTsdMEYLQobzM8y6MWpQx02WoqthdPVaJCZWCY2xYG3sMfF1wvNr
MXghiYXp1BDHOEJu/6S7esAGMDFRU7roOW/YlDol4R85K4hFak5of7kHFAbPDP1j
FM+17fQPqQtq4WOnxCTYWFKeLR+1uO7qvu/k8nRBbl8NcMc1hdHTGFp87DegHn9O
sYmU3tsnazXLkJyBbD3xpUmkGMHMQb9eQ3QA1G2VpaYY4FXtJ5G8ED4vaxBbImXw
weMhyuciu2g4sImXgueP8tMhECHC6b8Su9kuqD8EaCrrHfQOL65rfaBWOxxlhQu2
pazGs7OAafyspvVC+FvL3G87q6n0ZfSdvrUGXU3K4PN4qvY4zYngNh615g6Dxqhh
LCJmG7Br7bGdy/Z6PLd1skAjiuxEfTyVw4xkWXK4wNKW6xqdZwWBee9f0QOY148b
1EwH3d1XeCL+
=Gmy1
-----END PGP SIGNATURE-----