Accepted coq-interval 4.8.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.8.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 03 Aug 2023 06:19:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.8.0-1_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.8.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=1un0DVJSCrucRAFio+f2z06pCsokfS9rdKCYWfmk9XU=; b=i1Qljo6jf4L2A5BzVjyLFMBbX+ 55HXlv21B/hMERTltINWfoPE7SFpgFc86Hz/ZRwuCpUf8uDrYpZcGncqaO9DOJeGIl4+9YMdyjkb6 AVs7LVStXya3ChGqMnlzrazSCUT8rbBxHXO/i9rLbR8NY1B5QO2XCHvFO4i0De9VZH9gKCLEbYQZk AjZb9ghPp1mP3P95TeWzwdVQXRX8JlB5PNbwOHQzMcp3FCFjEq//aXuoRRcfGougZ8OFSC6UBQy6D +NszPUDhwKQGAxfiLRVT0VLdJHmAD0+u8kn14ynePbEZvnrHdgIbbfR5HMW5i1tSIRGYtLS+WHNGN YRj8gZ4w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qRRg7-00BfQg-Mh@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 03 Aug 2023 07:40:05 +0200
Source: coq-interval
Architecture: source
Version: 4.8.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-interval (4.8.0-1) unstable; urgency=medium
.
* Make the patch compliant to DEP-3.
* New upstream release.
Checksums-Sha1:
1bae2c7347d4b71a16160d24b460a97cb430f18d 2187 coq-interval_4.8.0-1.dsc
ba9ea9f36f2618b318609373c1af6d5c70c991ef 281682 coq-interval_4.8.0.orig.tar.bz2
a2afbc1d1383ec67071e36f0aa196f533b761d87 8848 coq-interval_4.8.0-1.debian.tar.xz
2b600ce3d8da5bb9e4c57068f5d93f19fd1cfa60 6861 coq-interval_4.8.0-1_source.buildinfo
Checksums-Sha256:
ed68d4c80e9fdb800560b9ed5a561a9dfe10f5033da5b327fb775693697e3999 2187 coq-interval_4.8.0-1.dsc
ea1345aa4745bc2da644423b8c7d1e371e264d51628f09153094390e4a9033fd 281682 coq-interval_4.8.0.orig.tar.bz2
98b9bda275e96e119c5b78b19e20063663f30050eb29a67ca6273367aaf6e0af 8848 coq-interval_4.8.0-1.debian.tar.xz
c821686e2bb45ca31c9a460ed3c45f742dd9fa8a7d5e218072463bdd1eb93fe1 6861 coq-interval_4.8.0-1_source.buildinfo
Files:
807cda4210a776a4f468e0299c3bd314 2187 ocaml optional coq-interval_4.8.0-1.dsc
0c0ac7c1b4ccc73016bc8ad82f0f2164 281682 ocaml optional coq-interval_4.8.0.orig.tar.bz2
d4a821f972a47484daacce85fe639508 8848 ocaml optional coq-interval_4.8.0-1.debian.tar.xz
b2861967e53ae4bd51ee8c1bf93b1186 6861 ocaml optional coq-interval_4.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTLPdsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvXcP/jZiD2KbkV+hGjJC/mO02UnIQmjIiJlm
XnFTlMk8FKQnqzloE2sCEtlof/o/IlG6RlVyOLhvHVeUiB9mK4NJXyNj9jZk1LA5
AYeBYbT34N4uB51htY8WLYOI+EJlJHPUD62lc7I0U1e5NjYnrjyayLzuRaSGHTRY
Ry4XrlW375jdqDrrO97AN+uhAC781vNvPtgI6P+IpRZqaPbsKkhRPOd7n+YvGERI
SBb1mQutz12sFZWDh/MM91Cjb40HNxNxv5Db/8GJyOCWK11F6zUa4RuVUn2iDmTi
5ibHwGP5XrbdQcw4zoLdG/DrEAWXkHA6Sq/QQGuhR6R10RzS7t84xsvDYNiEdspg
qazfz92juyqs/nAk012Fnid2nW/wEuAkquVDM3Lt/tNuMhKbaZ06h97zVfAsU8Kz
6/saN+ztG44wGw2FcdtG7bzGY+7O0df26tLc8ISce5xzjRLtbkxYmjSUBL/yB/BZ
P+hiWzqu4h/ZmXIjUM8y4RjwsvlU0bGtpntQS+GgtQWWYAnM+JpGX+Frdo0V5rlH
Xu7wlL04qRDRYkckWTaemcCp1uK+LyR1VudlPMhrgT4pzpiX//ip2O1NVPwnjufA
mAGt+r73kjyrYig/cK0EnAjGcn7UsnHWaOXtJuTc+cbCXQI9RPNwetcAoBxPfSnu
3VOX8han1/QY
=aSJ3
-----END PGP SIGNATURE-----