Tags

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

debian/2.0.2-1

1aa3c5fd · Prepare for upload · Dec 18, 2024
```
debian/2.0.2-1
```
Unverified
upstream/2.0.2

bb06a372 · New upstream version 2.0.2 · Dec 18, 2024
```
Upstream version 2.0.2
```
debian/2.0.1-1

d2f974e0 · Prepare for upload · Nov 20, 2024
```
debian/2.0.1-1
```
Unverified
upstream/2.0.1

2a22570c · New upstream version 2.0.1 · Aug 27, 2024
```
Upstream version 2.0.1
```

archive/debian/2.0.0-3

93430673 · Declare fast forward from 2.0.0-2 · Aug 03, 2024

mathcomp-real-closed release 2.0.0-3 for unstable (sid) [dgit]

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

57c116b9 · Prepare upload to unstable · Aug 03, 2024

mathcomp-real-closed release 2.0.0-3 for unstable (sid)

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

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

debian/2.0.2-2

fd838e9f · Bump for binary compatibility · Mar 30, 2024
```
debian/2.0.2-2
```
Unverified
debian/2.0.0-1

780bcb50 · Prepare for upload · Dec 22, 2023
```
debian/2.0.0-1
```
Unverified
upstream/2.0.0

208801f5 · New upstream version 2.0.0 · Sep 27, 2023
```
Upstream version 2.0.0
```

archive/debian/1.1.4-2

ee6255e4 · Declare fast forward from 1.1.4-1 · Jul 24, 2023

mathcomp-real-closed release 1.1.4-2 for unstable (sid) [dgit]

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

c243ae42 · Fix call to dune install · Jul 24, 2023

mathcomp-real-closed release 1.1.4-2 for unstable (sid)

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

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

debian/1.1.4-1

8afd766d · Prepare for upload · Jun 15, 2023
```
debian/1.1.4-1
```
Unverified
upstream/1.1.4

596e92da · New upstream version 1.1.4 · Jun 08, 2023
```
Upstream version 1.1.4
```
debian/1.1.3-1

5142cac0 · Upload new upstream 1.1.3 · Jul 07, 2022
```
debian/1.1.3-1
```
Unverified
upstream/1.1.3

b54905c2 · New upstream version 1.1.3 · Jul 07, 2022
```
Upstream version 1.1.3
```
debian/1.1.2-5

7ffb0185 · Prepare for upload · Jul 05, 2022
```
debian/1.1.2-5
```
Unverified
debian/1.1.2-4

4e620981 · Prepare for upload · Jun 12, 2022
```
debian/1.1.2-4
```
Unverified
debian/1.1.2-3

5ba61749 · Prepare for upload · Jun 02, 2022
```
debian/1.1.2-3
```
Unverified
debian/1.1.2-2

b1652c3b · Re-upload to fix ABI breakage · May 24, 2022
```
debian/1.1.2-2
```
Unverified
debian/1.1.2-1

395ad086 · Initial packaging · May 06, 2022
```
debian/1.1.2-1
```
Unverified

Prev
1
2
Next