Tags

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

upstream/1.4.0

c86fd4d8 · New upstream version 1.4.0 · Oct 01, 2022
```
Upstream version 1.4.0
```
debian/1.3.0-2

e1418ffd · Prepare for upload · Sep 05, 2022
```
debian/1.3.0-2
```
Unverified
debian/1.3.0-1

60fceb82 · Prepare for upload · Jul 30, 2022
```
debian/1.3.0-1
```
Unverified
upstream/1.3.0

106239c1 · New upstream version 1.3.0 · Jul 28, 2022
```
Upstream version 1.3.0
```
debian/1.2.1-11

a69874c7 · Prepare for upload · Jun 12, 2022
```
debian/1.2.1-11
```
Unverified
debian/1.2.1-10

7a59b07e · Prepare for upload · Jun 02, 2022
```
debian/1.2.1-10
```
Unverified
debian/1.2.1-9

e6ababe5 · Prepare for upload · May 23, 2022
```
debian/1.2.1-9
```
Unverified
debian/1.2.1-8

b8ac7bbf · Re-upload to fix ABI breakage · May 22, 2022
```
debian/1.2.1-8
```
Unverified
debian/1.2.1-7

4f30dafc · Really fix the dependency on the Coq ABI? · May 12, 2022
```
debian/1.2.1-7
```
Unverified
debian/1.2.1-6

a72b0cbe · Prepare for upload · May 11, 2022
```
debian/1.2.1-6
```
Unverified
debian/1.2.1-5

96d4a4a0 · Prepare for upload · Apr 16, 2022
```
debian/1.2.1-5
```
Unverified
debian/1.2.1-4

6673b1ae · Prepare for upload · Apr 13, 2022
```
debian/1.2.1-4
```
Unverified
debian/1.2.1-3

99fc557c · Trigger rebuild to depend on newer coq · Mar 23, 2022
```
debian/1.2.1-3
```
Unverified
debian/1.2.1-2

c773b808 · Prepare for upload · Feb 09, 2022
```
debian/1.2.1-2
```
Unverified
debian/1.2.1-1

e96dd07b · Prepare for upload · Jan 17, 2022
```
debian/1.2.1-1
```
Unverified
upstream/1.2.1

c3672cfe · New upstream version 1.2.1 · Jan 17, 2022
```
Upstream version 1.2.1
```
debian/1.2.0-1

e05705be · Initial packaging · Dec 03, 2021
```
debian/1.2.0-1
```
Unverified
upstream/1.2.0

05bb5468 · New upstream version 1.2.0 · Dec 02, 2021
```
Upstream version 1.2.0
```

Prev
1
2
Next