Accepted prooftree 0.13-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted prooftree 0.13-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 17 Aug 2023 14:47:39 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: prooftree_0.13-3_source.changes
- Debian-source: prooftree
- Debian-suite: unstable
- Debian-version: 0.13-3
- 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=CfhtR0TtUcSP4p2B/zbI64rGN8qcv3YQPFh1GOs2TUE=; b=BqZb/DZsSyjKqT8RTC+IibrlGr mP+YMSR0UkS2qRE8yFeTUmjL6IfC3VLq/QCRTDuRWldekH51gVFrSxT7Gt1+CuI2Oh2BFB1hWj9v9 nrHfTo/7mzK33wLne1a9t9DhtkUz5/iuQVkzfuciASulGEkhY/EAE8HrBc9QGCo2DjjMk8NSXe4Dk AgxUYQv+RPwJBbasSvN8x5+DssL7WeaqoTF11Mz6ZRK3eRtmLjgy71EPuXSjmh3nv0Od6iF1ykjBa 4JSLYPikzal40N9F4PLYSHsmfDiN6ghbzgqSg3j9xbuKXu8ULe0KUzze4XDMxZFoHLmCBFGr7dRyQ elICdlDg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qWeHj-004aWP-2f@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 17 Aug 2023 15:25:05 +0200
Source: prooftree
Architecture: source
Version: 0.13-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
prooftree (0.13-3) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Remove Hendrik from Uploaders
* Bump debhelper compat level to 13
* Add Rules-Requires-Root: no
* Bump Standards-Version to 4.6.2
.
[ Debian Janitor ]
* Use secure copyright file specification URI.
* Use secure URI in Homepage field.
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
+ prooftree: Drop versioned constraint on coq (>= 8.4) in Depends.
Checksums-Sha1:
a5f4287090dd4bd7b5c905bcf51b63cdfd388f9a 1719 prooftree_0.13-3.dsc
82b230ba79f9574e0cf2e4fd002a7fee6d70c302 2440 prooftree_0.13-3.debian.tar.xz
Checksums-Sha256:
e53dc39e9309a9fbe48ff1c3a11cff05379afd4c6b58d27cd66e7693d530d26d 1719 prooftree_0.13-3.dsc
ed6905ac127a7a2b0a000466ff3c14beffb81e2465ce337acc9f6ac54fa24d2b 2440 prooftree_0.13-3.debian.tar.xz
Files:
5eb8b93560b1a17bb5ca66918d4369aa 1719 science optional prooftree_0.13-3.dsc
cf559be2536e8542bf2cdc847d65f9e9 2440 science optional prooftree_0.13-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTeIKISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBSEEH/36ejbO2z6L8tqdhfU4XU2dV4Ma6qSK1
QWiyYT4J5eEPYCWLdICjmvIjAAc+OZI4Hn2R5nyuEoGA4T1iVE8o47FWM7xEhD3u
Fcgxzn3VCyNqxgUg7H8cBqcKMtDz0UOltMhMo5CqmyqgVAu5uqrysmkdmkOTt0px
eXHmMBO3mTP/x2nSejSabdpPO18GRUsL2+DDOPx8VInhGbd25hcMjoZbemkSWEt+
QTbYsYdp1fL1Is1W+0SPsedOJdHEZWbpbMGFDTifK9JizF6lMprFP3A+OV1jEFgE
cMEb64TFlAwr1PFfpHb638q94XpOri3zLQsmguPgRDZ78clmnBUd0iQ=
=2x0R
-----END PGP SIGNATURE-----