Accepted coq-ext-lib 0.12.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-ext-lib 0.12.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:35:10 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-ext-lib_0.12.0-1_source.changes
- Debian-source: coq-ext-lib
- Debian-suite: unstable
- Debian-version: 0.12.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=ZFhCnzd6epi+/Ak0pA7I3t4uDn4ByBJkvXyquteVKCM=; b=KiDx8yPHeToDtw8a5EysCEO8jn GhwQd/b6Ec+Lx0pnW/NhWEKLjwgrV3AjZ97ZTV6mMmpz29+aMK9K7yyPW6+YAaW6+z1PgLpQvS33Y oZTUtwGIiOX6XoIr8xUy++C1DxkgN1WMqBCkdXhyFj/XbVtGC7LZ7i48oschR+8jvclnNU2E7E/rh juC4kvlPN0BBLhvEnv2rGAXzRVQlsNfAL8XEClyHMpSUSRul87vMyjMEyK/b8khtdt28j63GgPTFj ryvuxZR7tBq1eBe2rn143QnU1iiICzP4BA/p3Kw2C7Ia4HOr0UOpHVmByGiVoLKiZAxsIKev5BaRM i2Bnj0fw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcs2-00DSdW-C6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:24:39 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044715
Changes:
coq-ext-lib (0.12.0-1) unstable; urgency=medium
.
[Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
.
[Julien Puydt ]
* Fix d/rules clean target (Closes: #1044715).
* New upstream release.
Checksums-Sha1:
7b346b4b6efb21d82f8ea431cc464e27145db713 2089 coq-ext-lib_0.12.0-1.dsc
e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
b5d74143ee167d2902e37ae12dae7cd774d0da6c 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
1d79c322f4107725865df852b44eef876a4fa575 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Checksums-Sha256:
79700b63435804bc7b4f81c5fbac86813563908e8a49b642ef8b7ed7f0757150 2089 coq-ext-lib_0.12.0-1.dsc
b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
59ec97967a778b444a85c3ade1fc02ef0e01482d6b07ac634e9a55269b29fc76 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
a9b4e534af34a6e90cb2a5a55d2d567c2b18327630e32a6c1005031b27f7c62d 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Files:
0593ce3c7526712cf4120ddfc9ab5c0f 2089 ocaml optional coq-ext-lib_0.12.0-1.dsc
ab08c703d854fdb90f35cf40614e089a 83450 ocaml optional coq-ext-lib_0.12.0.orig.tar.gz
3d768bce935197b7e3d216a6ccc7b08c 2248 ocaml optional coq-ext-lib_0.12.0-1.debian.tar.xz
e28e67d39a816839f35a4673fa9411f2 7844 ocaml optional coq-ext-lib_0.12.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESr8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6xIP/jrcJlCnKD22hwd6KypXDDnaaUjDjbCi
MBe1E1z/gO9n6nt6VjhVW8OtcGJsx2AIqLOoYr51fFOMmSq8IDUSUEfreMQL/0hG
vbllMXIodrm8KFD75W8a5euYi6lijfxNhJLcCFWoNpijAaIJbBmkwWwzvKvIWV52
L+aJCjci13498eX7I72AqzkcRfsqFWE8KQO3ZQHLowNrM/t+vw1aA6k0w9LBjuWb
FBbl9S6LfYsOk+sbSEh0T3P6I3tJG4X8+IIRzyj6IKw2DRdpb9T38vjgM9B4F8HI
Vyecyv0Swvs9I4U35u9ZzoideHTdCoCZAvEzUeXtlrVeVewmPRhlBi9iRJXDWGhr
+g61ZJDxEbVsm63Suoymfi9zglYwdrQsvFYpAA5/Khg9kU+Cu3QizAz/Q/SKx3mm
22q/ObEhnBlDALgmpJ3KQEIc3oqBUMaRv3KOnX4P8ncz/7uofcyv7S7lPqG/r7gn
L70XYvnb4JBenCudG1yRFPHbbbA4YCnP2w1ovsz0p0mHBxr38LQHmt/6J94wLcjS
VSgFDeG7cEhmuQwzZR5GoVZ24Ef60KKS2ecSO1bXtp0IrbmWQMVHNDGjF6fhuGAK
pRllgbw+yyV9Iv+wCUbxMYaPAmm66uC6QJUyHlTXtqcGTUa0ifq5s4e+sGGuBYYC
TZ8xeMWrePus
=n8Jh
-----END PGP SIGNATURE-----