1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
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
|
