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 <glondu@debian.org>  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 <locutusofborg@debian.org>  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 <hendrik@askra.de>  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 <glondu@debian.org>  Wed, 14 Oct 2015 10:10:04 +0200

prooftree (0.12-1) unstable; urgency=low

  * Initial release (Closes: #672480)

 -- Hendrik Tews <hendrik@askra.de>  Fri, 17 May 2013 16:53:01 +0200