Accepted coq-ext-lib 0.11.6-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.11.6-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 06 Jul 2022 22:02:24 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=d5V+ZtxTubPHrN+4Gz4QSHoSchdf0rglxJy3Zq901RE=; b=imFZijtU4uN8nNH9I1WvnOxZr8 +bSMfb9etTWViBR2/nBF1VlWI0yyZY+ZCgOK95JSu71sX5BZZVHUHjVKSbt5btaRYHHnHIsvTTyxs HVz38ak+eSMCOG3L1LLmi8A9iTWdIQeoO1iYAZUMua0qY9WqdFWBPuDQs3eZMCWwCMHENfoL6aJtf MGNdwOJ6mZZjqHTvr1co34wtmwweTwGV8bt0buE3oYPspDCbCyAmhpY0kw4VX7EudQBenSkgmyRzI j6itdnnc1OyTE54isMLQ2XrkidC0+cIY2ZBTLp01MGTw5K7VffHg3WE+BszqkQDCc+C0qgU167Jwn eyxDOSSw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9D6G-0002yA-QW@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 28 Jun 2022 08:08:54 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: source amd64
Version: 0.11.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-ext-lib - Collection of theories and plugins for Coq
Closes: 1013963
Changes:
coq-ext-lib (0.11.6-1) unstable; urgency=medium
.
* Initial release. (Closes: #1013963)
Checksums-Sha1:
61218e27aa5dd295c04f161ae30ece60bf020f86 2084 coq-ext-lib_0.11.6-1.dsc
08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
9c9b6253b27a4922b084275e4a3269ea228735f7 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
8fcfd45a707946c8bf5531fe7629513bc2f33fbb 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
Checksums-Sha256:
b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa 2084 coq-ext-lib_0.11.6-1.dsc
ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz
7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
215503ccb6c330bb46e78bcb3e7bb0d367fa3ff374981730be4212872489a18e 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
21e9fac31686c8b9dbf0a9d2eccddfb8d14622b66f8ec6b935f243e601397db8 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
Files:
f36fcf11375bc2de45e81c6dd60f30f2 2084 ocaml optional coq-ext-lib_0.11.6-1.dsc
442577afb6ff3a02043478690057cc21 82555 ocaml optional coq-ext-lib_0.11.6.orig.tar.gz
98439e3a1657ffe99baa59f71f068146 1948 ocaml optional coq-ext-lib_0.11.6-1.debian.tar.xz
03109ba9874763ae7774f78e53bc8936 7129 ocaml optional coq-ext-lib_0.11.6-1_amd64.buildinfo
9de08be5a3a10d54613473cdb23ff7fa 763488 ocaml optional libcoq-ext-lib_0.11.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYg0P/3GOfZVy+ZFuQrq/+hddpjvGx0R4/Zw5
hW6e+5p8cpoUlNkEGQbBbKy/mdFn5aBzZJBrbOmf8+y1ijDkODXfnnsLghQhKhcF
ECA9Fk01NpUMLOQVt/Z52IYdWENvIXMeJJVoPqU4faAKFZ0oD3ZnwNr0aALiCOGo
Cj1vhVP5HEpBIXcS8/OD0iVhInc4Az7ns0A5/qJZU6/oyFm3D/EQz/BRAHlMlr2E
Tdex9Wdf9Wu0bglbd3ASeDchc+p5oUY9VgXprWFNG1upVrKwAW6OHUsEWVsJ/+e5
eDJvLZanNOPRUGKB3JCaXznegNh5XbZxFToC516MCA7RCEHLT41WnU6TcNQ881wG
QUhBzAzsDQj9zkBUVo429JQFyK9PW84j4VefVMnALdco+8bOHDZOdBgXsyrQ1LUV
9HNfwnlawkg3Kfbe9KaituLjcUoNVLgp/JKZlQlsjD/+T7Hg0Xch603bJja551dU
1WzoIc8dQDWUkkyfnoeaTirRuW4ci4E1wELUR9/aQjlasImGueVtaQxrDC9YTmEa
bWFb7n0p5sNPGw71zCtdeh7xn4DONXX3vviQx0na7Q8BG9hf+0rtck9zuyW+X2MU
PO/XryCQnJ7O9IDcw2soqn9jFIbQXpJfO5b7CMmgSRSSAbe/UlgUup94za4LaklL
/uNLfG9sVbYJ
=GYsW
-----END PGP SIGNATURE-----