Tags

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

debian/0.14

f4a941fd · Add metacoq to the list of supported Coq packages · Feb 18, 2025
```
debian/0.14
```
Unverified
debian/0.13

3e64c3f7 · Prepare for upload · Jan 04, 2025
```
debian/0.13
```
Unverified
debian/0.12

06fe2661 · Prepare for upload · Dec 30, 2024
```
debian/0.12
```
Unverified
debian/0.11

b512f753 · Fix the coq-serapi addition · Sep 17, 2024
```
debian/0.11
```
Unverified
debian/0.10

15c41024 · Prepare for upload · Sep 16, 2024
```
debian/0.10
```
Unverified
debian/0.9

ab1846be · Prepare for upload · Jun 01, 2024
```
debian/0.9
```
Unverified
debian/0.8

1a1a0174 · Prepare for upload · Jan 31, 2024
```
debian/0.8
```
Unverified
debian/0.7

b62d16d9 · Prepare for upload · Jan 25, 2024
```
debian/0.7
```
Unverified
debian/0.6

9365ce53 · Prepare for upload · Jun 22, 2023
```
debian/0.6
```
Unverified
debian/0.5

a0f2d4ec · Prepare for upload · Oct 18, 2022
```
debian/0.5
```
Unverified
debian/0.4

92f16a76 · Prepare for upload · Oct 04, 2022
```
debian/0.4
```
Unverified
debian/0.3

fc64d033 · Prepare for upload · Jun 15, 2022
```
debian/0.3
```
Unverified
debian/0.2

fb2fdff0 · Prepare for upload · Jun 11, 2022
```
debian/0.2
```
Unverified
debian/0.1

a076002e · Prepare for upload · Jun 03, 2022
```
debian/0.1
```
Unverified