Accepted coq-ext-lib 0.11.6-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.11.6-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 16 Jul 2022 11:33:53 +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=7WMFQH2/i/9AuqUNXkPhDRA4NSF0z9clLj+/mQ4h8BA=; b=pt2kOm0HDxUDYD4YCvOYY2Kxwt X6h7Bdb3oHwwgr34WD5lP2gGLIoO3jFHOKiMaDFdQYtYyJJkKINZ96a5NpgCK7mKlU7P3c1u2JnlK eV0axnd4fWMNU4gBG/LpbmQexckud62gK3B0S32lsjNDxuOGSMHCA614r/i6MEJ96kwGjY3oEKfGX ORenqBadmrRjJi7P2aDePbr1wW9eQvN+1QaT6/oqVaTkz+TnVYkUxGPwLEwn0RLz0aIdWutdcXO37 pxDYo8/YIahuFz9941A2FOb7FCqR9T1PjqE2ar5dbW9QeOZHPzvSAe84F2sgSCp5wMLmC2p0QVWB5 F+bZkR+Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oCg3V-000Doy-Or@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Jul 2022 12:37:11 +0200
Source: coq-ext-lib
Architecture: source
Version: 0.11.6-2
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.11.6-2) unstable; urgency=medium
.
* Simplify autopkgtest.
Checksums-Sha1:
973c5dabf2d383d00a4a646cb75b4d8a257abccc 2084 coq-ext-lib_0.11.6-2.dsc
2de72195163341d89dea67b64cb1127c978ef121 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
faf3821a33becb0223b15bc61d9d36d6be03f277 6824 coq-ext-lib_0.11.6-2_source.buildinfo
Checksums-Sha256:
c0f00eaf46f7b462019fad14aa6fcbd42c2a3e52dbf9ed378abe5177bc155e64 2084 coq-ext-lib_0.11.6-2.dsc
d9f8b0a9d3158bb5088c41c7656542484061c47fb5aa8d2e1ddb23a95827bbee 1956 coq-ext-lib_0.11.6-2.debian.tar.xz
edf595a8b8d03fe4bd6f19fecafd7c91aa9abdb0ba82a16079c3e3aa07f96c9e 6824 coq-ext-lib_0.11.6-2_source.buildinfo
Files:
b38455bf5799a61b91539d1629c0761d 2084 ocaml optional coq-ext-lib_0.11.6-2.dsc
72b801c99271dcead60f0203540dc52f 1956 ocaml optional coq-ext-lib_0.11.6-2.debian.tar.xz
27cd9bb694260c251478b834a923530d 6824 ocaml optional coq-ext-lib_0.11.6-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSmw4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu8YP/0sLeUEUQYDWuUOzGpdSBEOKBWWtVbJi
4dlzZpy5O9qMFFeRUIcMrtyE78Z8GRpPU1t2hwaKLnSZr0hSeGnN+OLDvv/a9Xur
bZ7igDACAnTduRqsHe8sifnsNZDOulb8F+23MWydrxM8t0SY8nzoFSDxlVkMJU+3
n8iOzf/OOdZGyGZfc+wAbha4AUJKO004k8ItOFYmeRUpRRXm188EOyjOVLP3ChT6
Pk+/pIFyCLJ8h+HeJD5zKQ5rP6MOaTu0iy6XG05iBvaQguklDJMFVihWxyYW1ySP
jNUaK7t3++ZsSaj4QxFC8VMh82lFI2PHu0jxaI28a/JP9KlnPqlT6qaJYRo9N0aY
xznEU7Ydr3InEFYlP1RKBriBrw5tN75Jlmi5h8HsikLuhtlFOCPatQBqpvt/n+IT
nU469saK3pb5Ryum/7m9/UEayf1+jB3WjcmTDAI3MZSCN/f/t63m3JmrZWrgoPsq
ohuVFn619MvRTGafYxG+lTZK0LxR2VS/1zAITz1TsYYtyeL0umVElV6dx0BArx0L
SRMlyAHmcEtAq4dve7uAncx+OkjbwR8BfCHx0tStMWlectQDd3uWI+inXjZidmEm
Muj6+OpGP6KLJD7RDq6C7zq3bIhdglYeqFl/0ZMEvaOcuDDpOJ2GDBDSjGPGVFUp
BxopkqwhWBlR
=4aNV
-----END PGP SIGNATURE-----