Tags

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

debian/2.0-1

4e1c2e7b · Prepare for upload · Jun 14, 2023
```
debian/2.0-1
```
Unverified
upstream/2.0

b7d349e3 · New upstream version 2.0 · Jun 08, 2023
```
Upstream version 2.0
```
debian/1.6.4-3

36eebc07 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.6.4-3
```
Unverified
debian/1.6.4-2

c079110c · Prepare for upload · Sep 05, 2022
```
debian/1.6.4-2
```
Unverified
debian/1.6.4-1

ac7bf2aa · Package new upstream 1.6.4 · Aug 15, 2022
```
debian/1.6.4-1
```
Unverified
upstream/1.6.4

7d4a805a · New upstream version 1.6.4 · Aug 15, 2022
```
Upstream version 1.6.4
```
debian/1.6.3-2

2464ab17 · Rebuild against more recent coq-simple-io · Aug 13, 2022
```
debian/1.6.3-2
```
Unverified
debian/1.6.3-1

c04a017d · Initial packaging · Jul 16, 2022
```
debian/1.6.3-1
```
Unverified
upstream/1.6.3

8c333ab4 · New upstream version 1.6.3 · Jul 15, 2022
```
Upstream version 1.6.3
```

Prev
1
2
Next