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 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 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 Mon, 06 Sep 2021 19:32:54 +0100 mathlibtools (1.0.0-2) unstable; urgency=medium * Correct form for python-team Maintainer -- Christopher Hoskin 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 Fri, 06 Aug 2021 08:05:31 +0100