-----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-----