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