Tags

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

debian/1.10.0-1

9579186d · Prepare for upload · Nov 20, 2024
```
debian/1.10.0-1
```
Unverified
upstream/1.10.0

5a4055d6 · New upstream version 1.10.0 · Sep 17, 2024
```
Upstream version 1.10.0
```

archive/debian/1.9.0-2

1fccbd62 · Declare fast forward from 1.9.0-1 · Aug 04, 2024

coq-simple-io release 1.9.0-2 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]

576485cc · Prepare upload to unstable · Aug 04, 2024

coq-simple-io release 1.9.0-2 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]

debian/1.9.0-1

03583ce0 · Package new upstream · Apr 10, 2024
```
debian/1.9.0-1
```
Unverified
upstream/1.9.0

2c1fecbd · New upstream version 1.9.0 · Apr 10, 2024
```
Upstream version 1.9.0
```
debian/1.8.0-5

54fe7699 · Rebuild for binary compatibility · Mar 30, 2024
```
debian/1.8.0-5
```
Unverified
debian/1.8.0-4

f1df9ea8 · Prepare for upload · Dec 21, 2023
```
debian/1.8.0-4
```
Unverified
debian/1.8.0-3

81e59dae · Prepare for upload · Jun 13, 2023
```
debian/1.8.0-3
```
Unverified
debian/1.8.0-2

e43a73fb · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.8.0-2
```
Unverified
debian/1.8.0-1

51bd73ae · Prepare for upload · Sep 23, 2022
```
debian/1.8.0-1
```
Unverified
upstream/1.8.0

c7bd0ee2 · New upstream version 1.8.0 · Sep 23, 2022
```
Upstream version 1.8.0
```
debian/1.7.0-3

0159514f · Prepare for upload · Sep 05, 2022
```
debian/1.7.0-3
```
Unverified
debian/1.7.0-2

a6a55d71 · Rebuild against newer coq-ext-lib · Aug 13, 2022
```
debian/1.7.0-2
```
Unverified
debian/1.7.0-1

02d1c814 · Initial packaging · Jul 08, 2022
```
debian/1.7.0-1
```
Unverified
upstream/1.7.0

d761cde9 · New upstream version 1.7.0 · Jun 28, 2022
```
Upstream version 1.7.0
```