Tags

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

debian/3.2.0-3

a1c33270 · Prepare for upload to experimental · Nov 11, 2025
```
debian/3.2.0-3
```
Unverified
debian/3.2.0-2

afb67c18 · Prepare for upload to experimental · Oct 30, 2025
```
debian/3.2.0-2
```
Unverified
debian/3.2.0-1

884677ad · Prepare for upload to experimental · Oct 29, 2025
```
debian/3.2.0-1
```
Unverified
upstream/3.2.0

dc5ce751 · New upstream version 3.2.0 · Oct 29, 2025
```
Upstream version 3.2.0
```
debian/2.5.0-1.2

3178091f · Upload to sid · Oct 28, 2025
```
coq-elpi Debian release 2.5.0-1.2
```
debian/2.5.0-1.1

ee742a28 · Import Debian changes 2.5.0-1.1 · Oct 28, 2025
```
Debian release 2.5.0-1.1
```
debian/2.5.0-1

6f5fd1b4 · Import Debian changes 2.5.0-1 · Oct 28, 2025
```
Debian release 2.5.0-1
```
upstream/2.5.0

f41ea309 · Import Upstream version 2.5.0 · Oct 28, 2025
```
Upstream version 2.5.0
```
debian/2.4.0-1

9c42681b · Prepare for upload · Feb 15, 2025
```
debian/2.4.0-1
```
Unverified
upstream/2.4.0

331350ed · New upstream version 2.4.0 · Jan 31, 2025
```
Upstream version 2.4.0
```
debian/2.3.0-1

61521f09 · Prepare for upload · Dec 18, 2024
```
debian/2.3.0-1
```
Unverified
upstream/2.3.0

ffed0cd5 · New upstream version 2.3.0 · Dec 09, 2024
```
Upstream version 2.3.0
```
debian/2.2.3-1

6947799c · Prepare for upload · Nov 20, 2024
```
debian/2.2.3-1
```
Unverified
upstream/2.2.3

e0d8a5e5 · New upstream version 2.2.3 · Aug 26, 2024
```
Upstream version 2.2.3
```
debian/2.1.0-1

e5065770 · Prepare for upload · Mar 30, 2024
```
debian/2.1.0-1
```
Unverified
upstream/2.1.0

886255d5 · New upstream version 2.1.0 · Mar 30, 2024
```
Upstream version 2.1.0
```
debian/2.0.2-1

14a588c9 · Prepare for upload · Feb 24, 2024
```
debian/2.0.2-1
```
Unverified
upstream/2.0.2

79845197 · New upstream version 2.0.2 · Feb 13, 2024
```
Upstream version 2.0.2
```
upstream/2.0.1

010bbab4 · New upstream version 2.0.1 · Feb 09, 2024
```
Upstream version 2.0.1
```
debian/2.0.0-1

c40de3ef · Prepare for upload · Jan 25, 2024
```
debian/2.0.0-1
```
Unverified

Prev
1
2
3
Next