Tags

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

debian/0.5.4-1

9c2059fb · Prepare for upload · Sep 08, 2022
```
debian/0.5.4-1
```
Unverified
upstream/0.5.4

a09e9e2d · New upstream version 0.5.4 · Sep 07, 2022
```
Upstream version 0.5.4
```
debian/0.5.3-2

2b4cdd51 · Prepare for upload · Sep 05, 2022
```
debian/0.5.3-2
```
Unverified
debian/0.5.3-1

f1fe2c39 · Package new upstream 0.5.3 · Aug 10, 2022
```
debian/0.5.3-1
```
Unverified
upstream/0.5.3

d7d70586 · New upstream version 0.5.3 · Aug 10, 2022
```
Upstream version 0.5.3
```
debian/0.5.2-2

202a52fa · Prepare for upload (Closes: #1016259) · Aug 06, 2022
```
debian/0.5.2-2
```
Unverified
debian/0.5.2-1

89c18b99 · Prepare for upload · Jul 10, 2022
```
debian/0.5.2-1
```
Unverified
upstream/0.5.2

2e006bd8 · New upstream version 0.5.2 · Jul 10, 2022
```
Upstream version 0.5.2
```
debian/0.5.1-3

b74315c5 · Prepare for upload · Jul 05, 2022
```
debian/0.5.1-3
```
Unverified
debian/0.5.1-2

597b231f · Prepare for upload · Jun 12, 2022
```
debian/0.5.1-2
```
Unverified
debian/0.5.1-1

80b6d6e4 · Prepare for upload · Jun 07, 2022
```
debian/0.5.1-1
```
Unverified
upstream/0.5.1

cdc197d3 · New upstream version 0.5.1 · Jun 07, 2022
```
Upstream version 0.5.1
```
debian/0.5.0-5

d8882934 · Prepare for upload · Jun 02, 2022
```
debian/0.5.0-5
```
Unverified
debian/0.5.0-4

7b997b6e · Re-upload because of ABI breakage · May 24, 2022
```
debian/0.5.0-4
```
Unverified
debian/0.5.0-3

9d7093de · Prepare for upload · Apr 13, 2022
```
debian/0.5.0-3
```
Unverified
debian/0.5.0-2

e7407fa5 · Trigger rebuild with new coq · Mar 25, 2022
```
debian/0.5.0-2
```
Unverified
debian/0.5.0-1

6f3084fa · Prepare for upload · Mar 23, 2022
```
debian/0.5.0-1
```
Unverified
upstream/0.5.0

d85dad99 · New upstream version 0.5.0 · Mar 23, 2022
```
Upstream version 0.5.0
```
upstream/0.4.0

e0ece4b9 · New upstream version 0.4.0 · Mar 08, 2022
```
Upstream version 0.4.0
```
debian/0.3.13-1

92ab9b5e · Initial packaging · Feb 09, 2022
```
debian/0.3.13-1
```
Unverified

Prev
1
2
3
4
Next