Accepted coq-interval 4.9.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.9.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 26 Dec 2023 11:34:12 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.9.0-1_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.9.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=WcOngZPt69u8AOFneqivQFw9ULILhXUVhuoh0sGGwik=; b=EW+aJh6TdQd+QoapX38pFj/c68 HKeuNKUmr155g5fPOOy3oC4VWkIuprOKqMFfskSzv//5OqMg345L6Nh+4qkc7FN7DzaAbsm/SFFBG xqvpERfv37tXO8GhiZp57yq81apLybYWGDaH4uL5CaA0C90VibUFLLQ3tsBKVDvbHd0CBVVBH88ID SB556yFUESArzqJxA/9k/gs0s8vW1mWM3qm7Wqi1CRI1y36KS0lLOgwLf3syBk7/NldL61oOVHqlk +56uI0sJOlJs01WObaWO+16b8PE7EnBarsSs3hmEvJY5wQBCniSCKddoLMpPL0euXM1uuztT5QuW8 ox5roEOw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rI5hM-003M0I-Fs@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:33:14 +0100
Source: coq-interval
Architecture: source
Version: 4.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045076
Changes:
coq-interval (4.9.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Set upstream metadata fields: Repository.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1045076).
* New upstream release.
Checksums-Sha1:
a151ddd5f078fb217f19cac13f1aaf71841bcf91 2187 coq-interval_4.9.0-1.dsc
ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
a1aae53deed9def427e43f4af83e6fa67dd79a6c 9192 coq-interval_4.9.0-1.debian.tar.xz
ed92d37e6e1a4935457aa7fe27fd5f82f5dc7679 8538 coq-interval_4.9.0-1_source.buildinfo
Checksums-Sha256:
babe37e9733cc723310c41a004eabd2deabc0a1d30f10d7dc70fd944678b779f 2187 coq-interval_4.9.0-1.dsc
049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
52a457efd712ba8f9f2362a5b1a59f39aebb94bbe5082ff1f6caae22ca31bdda 9192 coq-interval_4.9.0-1.debian.tar.xz
4d2f9d7960b4c8828be004d6187a43bcec5115f907bd0994ec1e87e713851504 8538 coq-interval_4.9.0-1_source.buildinfo
Files:
646c528fc9d3f73d6d34858df4527656 2187 ocaml optional coq-interval_4.9.0-1.dsc
5a6af473def63c486d12e04a8a556330 282047 ocaml optional coq-interval_4.9.0.orig.tar.bz2
aa965536b6965bd56a8f4da14d387e23 9192 ocaml optional coq-interval_4.9.0-1.debian.tar.xz
bb9c2a077aad5947651e2987a043ae86 8538 ocaml optional coq-interval_4.9.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZgsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0S4P/2byFVmag3plnBKzOQFu/9n2I5caY3Wl
RB4+k26Y7WXQKf3I/V2MRuXwAgrEl1/Fe0BFExvbb6HZXbp9sA/+DyJFKIpYspCB
NTP2yiFWdauwuWrVLlUXF3A4aWODTj9AAZGclc30PqUIZUf7IOAtZdh/VU/ALOil
OjWiAURU/1rSU7UUiP7skh+6HDzleoShoTO5aji3qd1NB5OcvrOHM1RTjCxTAPfQ
3LC7dbHwVHU4X95PCBCnNGSTrLRkuUNfdFDZsYiM5WmYIiaCSE/8jnzfHo6sLePj
2BjzLm60kgZKpYGbtL0hz7ZTjmqkKMGdqKyG94QGOW7RrQr5uAlxepwrtz2HdlpV
HaljlbnVmIZ7liGLqmXz08Hr2RbpUkNtiSWrbKwRdV8ZdgeXrTR3SRkC1qSUwNib
VZCKVnwb3x1ZUDZbILpLEJvJPzK6+zCYgQiXWYeCmrPaWA8CK85JrOheyzO1PbUs
mOJNinrjORDvTjD46HKOUdcJufRLHOZggJLxT3+GgrWJF7T7s3h8ADNX1uR933Sy
IP26JJfikFGtSbhTPQNgMhspQ7H0+mHaGyQxiPWDklXYuEnBCF+Gt9yKYHkBzxjR
00/8KWPJeY5P17T4JrsrT2o2bdQIUzu6YjtfCZfIyf88t+E/6bRMHd+t753AgWvj
Lz9NnqlxelEK
=aY/e
-----END PGP SIGNATURE-----