Tags

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

debian/20240923-2

3973337a · Unbreak autopkgtest · Nov 25, 2024
```
debian/20240923-2
```
Unverified
debian/20240923-1

45702ec6 · Prepare for upload · Nov 20, 2024
```
debian/20240923-1
```
Unverified
upstream/20240923

4c2c7d13 · New upstream version 20240923 · Sep 23, 2024
```
Upstream version 20240923
```

archive/debian/20240331-2

a5e68d72 · Declare fast forward from 20240331-1 · Aug 04, 2024

coq-unimath release 20240331-2 for unstable (sid) [dgit]

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

Unverified

debian/20240331-2

f3e6d0d6 · Prepare upload to unstable · Aug 04, 2024

coq-unimath release 20240331-2 for unstable (sid)

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

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

Unverified

debian/20240331-1

8c8c264b · Package new upstream 20240331 · Apr 10, 2024
```
debian/20240331-1
```
Unverified
upstream/20240331

4276643e · New upstream version 20240331 · Apr 10, 2024
```
Upstream version 20240331
```
debian/20240321-1

9affcc26 · Prepare for upload · Mar 30, 2024
```
debian/20240321-1
```
Unverified
upstream/20240321

177b4dc9 · New upstream version 20240321 · Mar 30, 2024
```
Upstream version 20240321
```
debian/20231010-1

c9bcb811 · Prepare for upload · Dec 21, 2023
```
debian/20231010-1
```
Unverified
upstream/20231010

2738e576 · New upstream version 20231010 · Oct 12, 2023
```
Upstream version 20231010
```
debian/20230420-4

86272cd9 · Prepare for upload · Jun 21, 2023
```
debian/20230420-4
```
Unverified
debian/20230420-3

fbf2478e · Prepare for upload · Jun 20, 2023
```
debian/20230420-3
```
Unverified
debian/20230420-2

2bb2070a · Add a version depend on coq 8.17 (Closes: #1038382) · Jun 17, 2023
```
debian/20230420-2
```
Unverified
debian/20230420-1

62b6a0f1 · Prepare for upload · Jun 12, 2023
```
debian/20230420-1
```
Unverified
upstream/20230420

f9fd4e1b · New upstream version 20230420 · Jun 08, 2023
```
Upstream version 20230420
```
debian/20220816-2

9d1d523b · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/20220816-2
```
Unverified
debian/20220816-1

35fced66 · Prepare for upload · Aug 22, 2022
```
debian/20220816-1
```
Unverified
upstream/20220816

73d7b94b · New upstream version 20220816 · Aug 22, 2022
```
Upstream version 20220816
```
debian/20220204-1

9d88ae8c · Initial packaging · Jul 16, 2022
```
debian/20220204-1
```
Unverified