Tags

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

debian/2.1.0-3

817be255 · Prepare for upload · Nov 24, 2024
```
debian/2.1.0-3
```
Unverified

archive/debian/2.1.0-2

a3c2a6fe · Declare fast forward from 2.1.0-1 · Aug 03, 2024

mathcomp-finmap release 2.1.0-2 for unstable (sid) [dgit]

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

6f96a8bc · Prepare upload to unstable · Aug 03, 2024

mathcomp-finmap release 2.1.0-2 for unstable (sid)

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

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

debian/2.1.0-1

e10edada · Prepare for upload · Jan 25, 2024
```
debian/2.1.0-1
```
Unverified
upstream/2.1.0

46cc821e · New upstream version 2.1.0 · Jan 24, 2024
```
Upstream version 2.1.0
```
debian/2.0.0-2

37630c13 · Fix autopkgtest · Jan 21, 2024
```
debian/2.0.0-2
```
Unverified
debian/2.0.0-1

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

e4a64279 · New upstream version 2.0.0 · Sep 27, 2023
```
Upstream version 2.0.0
```

archive/debian/1.5.2-3

11e09ea5 · Declare fast forward from 1.5.2-2 · Jul 24, 2023

mathcomp-finmap release 1.5.2-3 for unstable (sid) [dgit]

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

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

mathcomp-finmap release 1.5.2-3 for unstable (sid)

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

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

debian/1.5.2-2

4b4be4b4 · Prepare for upload · Jun 14, 2023
```
debian/1.5.2-2
```
Unverified
debian/1.5.2-1

55b86688 · Prepare for upload · Aug 09, 2022
```
debian/1.5.2-1
```
Unverified
upstream/1.5.2

137ea10e · New upstream version 1.5.2 · Jul 19, 2022
```
Upstream version 1.5.2
```
debian/1.5.1-9

d59e4c48 · Prepare for upload · Jul 05, 2022
```
debian/1.5.1-9
```
Unverified
debian/1.5.1-8

30bc4508 · Prepare for upload · Jul 05, 2022
```
debian/1.5.1-8
```
Unverified
debian/1.5.1-7

1c329284 · Prepare for upload · Jun 12, 2022
```
debian/1.5.1-7
```
Unverified
debian/1.5.1-6

0f5ed82d · Prepare for upload · Jun 02, 2022
```
debian/1.5.1-6
```
Unverified
debian/1.5.1-5

9aae4239 · Re-upload because of ABI breakage · May 23, 2022
```
debian/1.5.1-5
```
Unverified
debian/1.5.1-3

1a3b84d3 · Prepare for upload · May 05, 2022
```
debian/1.5.1-3
```
Unverified
debian/1.5.1-2

7fbd6dda · Trigger rebuild to depend on newer coq · Mar 23, 2022
```
debian/1.5.1-2
```
Unverified

Prev
1
2
Next