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. -- Stéphane Glondu Thu, 17 Aug 2023 15:25:05 +0200 prooftree (0.13-2) unstable; urgency=medium [ Stephane Glondu ] * Update Vcs-* [ Gianfranco Costamagna ] * Team upload * Build-depend on coq to avoid it being uninstallable where coq is not built (Closes: #956674) -- Gianfranco Costamagna Wed, 13 May 2020 15:30:43 +0200 prooftree (0.13-1) unstable; urgency=medium * Imported Upstream version 0.13 * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream) * push standards version to 3.9.8 * fix some lintian warnings -- Hendrik Tews Tue, 03 Jan 2017 16:29:09 +0100 prooftree (0.12-2) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.02 [ Hendrik Tews ] * lintian canonical vcs -- Stéphane Glondu Wed, 14 Oct 2015 10:10:04 +0200 prooftree (0.12-1) unstable; urgency=low * Initial release (Closes: #672480) -- Hendrik Tews Fri, 17 May 2013 16:53:01 +0200