Back to coq-ext-lib PTS page

Accepted coq-ext-lib 0.12.1-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq-ext-lib 0.12.1-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 27 Apr 2024 15:06:52 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq-ext-lib_0.12.1-1_source.changes
Debian-source: coq-ext-lib
Debian-suite: unstable
Debian-version: 0.12.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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=VinCgkO0LLTSmOr8MxXnV7G4WgMIRecraAU2nwcHh+U=; b=BmIuf6tmwFgGHJqQfNhAQJAdXl zzLGcCBOpaygtwqUzD0p84oC/XC61XQ/5v+pXGaXVDLwWCnoYFhMtTY47fP6uKkWBMSvAW6/87Gxk aX53LwrJseNINK4auJlOCShyV+hubgnBlP7ROJAv5QZzktohBll8YZzLOGhftbkmb494tkmhib1EE W0lrdMuRsSwwo48tzos4uEz2eQhv6dF5ajhCZjlkjCT+v753dgGIr8OKFoT14h7o7V3gMvMe3bLOg Q3ioXv4l9J/IqujwiCUu2N1Ax/ic879PcDoZftu0paa2yIOndTquQdNPhbVDW+yhZBbhzXmTOGIqk WYzTo5Yw==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s0jdc-00CRlM-Jg@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 24 Feb 2024 09:56:43 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.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-ext-lib (0.12.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 76d5c08dace551ec624473b0cbf186766da2e908 2089 coq-ext-lib_0.12.1-1.dsc
 742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
 fd8a9d38666ffbdc6e7712a7efabfd57de46f1c8 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
 f6b53cd85ed9a97c0f17cebe6d6dbdb3f233eefc 8349 coq-ext-lib_0.12.1-1_source.buildinfo
Checksums-Sha256:
 00173e5cc235832fa75216b2039e9b73d3bc68dfdda8b24907b2fc822329dbbf 2089 coq-ext-lib_0.12.1-1.dsc
 e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
 d1ad6d64448371b326b6af54f778298a3969f5a23b78583e337417d54bf85310 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
 ae85a921f2f2ea9caf4e58ebb4a34aa3a3e5a9a18e82f62851b3933642527a26 8349 coq-ext-lib_0.12.1-1_source.buildinfo
Files:
 c5c921237852ca86f8c20e914efef1b2 2089 ocaml optional coq-ext-lib_0.12.1-1.dsc
 ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 ocaml optional coq-ext-lib_0.12.1.orig.tar.gz
 6d0557063e5445947846fa5365cc5d69 2260 ocaml optional coq-ext-lib_0.12.1-1.debian.tar.xz
 de3fd7af96227adb587dc3247a7db248 8349 ocaml optional coq-ext-lib_0.12.1-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzukSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhH8P/3WRqEC0jhYeF+q8wgzpd3v6mcD1YIUi
p28MGRcd+5J2da4wnx/Kmo+ztzsAMbt12B3+wM0b3E6iambCqcyMgMUkGyjLNcjk
S/0x48S7c/srs8PFe/NCJnGx+cJoZ5sv9F4rtRu1fG9EDp9GvoFWNQoPw39U7emr
DexAZVD/kEL+xMAB4eRXRDrgQi7CQGdPUpjCMw5c2I6bjA3m5jbH9IMw2PI54Jtj
YUFUmF87avqllECENAVZ5yc8xQA8/UANPPzfIsgal+F7uEaaaRJRq1itV1boAvhp
OvdSREM3kD8M5iaiWmZvg8RmMZs88HoR79wossRYNaC6dPnyRDwHSGbvD4kzL74D
fw9b/MY2OR0RHVEcZ+4MtiJJn30nxYjo/zhVRUyt/hic/MCOXR/kuHfz1TBXb6Z0
KV6Vfb7f2s8RxFKMrNlZqZkImpaZJdpcxmx8S9WljiR2sZIX+UjyZoCpI2qVSFPd
lJ0vQ8gXVzkQcXWQZ0HN5wP54vIjPc/jnm1CFVG6qIuqqiegkEYH4NKewJsCSqyk
Tkz6Kp0wlQTYNTdDFAocRpL/OtHKn3AEZ+p/H1Xn0tzruyaz0kZT3KDiy5lhEr3G
1R1OsJE61P9KpYPZn+5IHkUmvvg/Lt2KmD340IeYuLsCIL81KhNG/CP4KqZrw3Eg
YVjR254BqfUZ
=VKEy
-----END PGP SIGNATURE-----

Attachment: pgpJchNBEaA5d.pgp
Description: PGP signature