mathlibtools (1.3.2-1) unstable; urgency=medium

  * Team upload.
  * New upstream version.
  * d/control: Bump standards version to 4.6.2 from 4.6.0.1.
               Add to Build-Depends for unittests (python3-pytest, python3-git,
                   python3-click, python3-requests, python3-tqdm, python3-toml,
                   python3-yaml, python3-atomicwrites, python3-github).
  * d/copyright: Update year to 2023 for debian/* files.
                 Add myself to copyright for debian/* files.
  * d/rules: Remove template comments.
             Run unittests.
  * d/tests/*: Add autopkgtest script to call source unittests.
  * d/salsa-ci.yml: Enable salsa-ci pipeline.

 -- Ileana Dumitrescu <ileanadumitrescu95@gmail.com>  Mon, 31 Jul 2023 18:56:49 +0300

mathlibtools (1.1.0-1) unstable; urgency=medium

  * New upstream release (1.1.0)
  * Bump Standards-Version from 4.5.1 to 4.6.0.1 (no change required)

 -- Christopher Hoskin <mans0954@debian.org>  Sun, 19 Sep 2021 20:49:07 +0100

mathlibtools (1.0.0-3) unstable; urgency=medium

  * Source only upload for migration to testing

 -- Christopher Hoskin <mans0954@debian.org>  Mon, 06 Sep 2021 19:32:54 +0100

mathlibtools (1.0.0-2) unstable; urgency=medium

  * Correct form for python-team Maintainer

 -- Christopher Hoskin <mans0954@debian.org>  Tue, 10 Aug 2021 20:59:21 +0100

mathlibtools (1.0.0-1) unstable; urgency=low

  * source package automatically created by stdeb 0.10.0
  * Add copyright
  * Set DEP-14 debian branch in gbp.conf
  * Update watch
  * Bump debhelper compat from 9 to 13
  * Add descriptions to control
  * Change section to math, rename as executable package
  * Remove white space from rules
  * Declare Rules-Requires-Root: no
  * Add upstream metadata
  * Bump Standards-Version from 3.9.6 to 4.5.1 (no change required)
  * Add elan as a Recommends
  * Add mathlibtools.egg-info to clean
  * Add VCS to control
  * Set Maintainer to python team
  * Initial release. (Closes: #991923: ITP: mathlibtools -- supporting
    tool for Lean mathlib)

 -- Christopher Hoskin <mans0954@debian.org>  Fri, 06 Aug 2021 08:05:31 +0100
