Tags

Tags give the ability to mark specific points in history as being important

archive/debian/1.2.3-4

144aa8d5 · Declare fast forward from 1.2.3-3 · Aug 03, 2024

mathcomp-algebra-tactics release 1.2.3-4 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]

Unverified

debian/1.2.3-4

114b9a30 · Prepare upload to unstable · Aug 03, 2024

mathcomp-algebra-tactics release 1.2.3-4 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]

Unverified

debian/1.2.3-3

81a9db47 · Fix target distribution · Apr 26, 2024
```
debian/1.2.3-3
```
Unverified
debian/1.2.3-2

0d8e5eb8 · Rebuild for binary compatibility · Mar 30, 2024
```
debian/1.2.3-2
```
Unverified
debian/1.2.3-1

cc4c83ef · Package new upstream 1.2.3 · Jan 20, 2024
```
debian/1.2.3-1
```
Unverified
upstream/1.2.3

f3fb3228 · New upstream version 1.2.3 · Jan 20, 2024
```
Upstream version 1.2.3
```
debian/1.2.2-1

b7485058 · Prepare for upload · Dec 22, 2023
```
debian/1.2.2-1
```
Unverified
upstream/1.2.2

96e08fc3 · New upstream version 1.2.2 · Nov 04, 2023
```
Upstream version 1.2.2
```
upstream/1.2.1

ca9167f9 · New upstream version 1.2.1 · Sep 29, 2023
```
Upstream version 1.2.1
```
upstream/1.2.0

697d94f3 · New upstream version 1.2.0 · Sep 29, 2023
```
Upstream version 1.2.0
```
debian/1.1.1-2

50df4942 · Fix abi issue · Jul 05, 2023
```
debian/1.1.1-2
```
Unverified
debian/1.1.1-1

d6484cfa · Prepare for upload · Jun 15, 2023
```
debian/1.1.1-1
```
Unverified
upstream/1.1.1

78b9a4a5 · New upstream version 1.1.1 · Jun 08, 2023
```
Upstream version 1.1.1
```
debian/1.0.0-8

4f51d1d0 · Fix elpi interface mismatch (Closes: #1023763) · Nov 10, 2022
```
debian/1.0.0-8
```
Unverified
debian/1.0.0-7

43cd51be · Rebuild to cope with new elpi · Oct 26, 2022
```
debian/1.0.0-7
```
Unverified
debian/1.0.0-6

9e056fab · Prepare for upload · Jul 05, 2022
```
debian/1.0.0-6
```
Unverified
debian/1.0.0-5

d42b3ea9 · Prepare for upload · Jun 13, 2022
```
debian/1.0.0-5
```
Unverified
debian/1.0.0-4

13c4d7b2 · Prepare for upload · Jun 12, 2022
```
debian/1.0.0-4
```
Unverified
debian/1.0.0-3

51433db2 · Re-upload to fix ABI breakage · Jun 02, 2022
```
debian/1.0.0-3
```
Unverified
debian/1.0.0-2

8c00e1d7 · Re-upload to fix ABI breakage · May 22, 2022
```
debian/1.0.0-2
```
Unverified