Accepted coq-interval 4.8.0-1 (source) into unstable
-----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-----
Reply to: