Tags

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

archive/debian/0.1.5-5

e6e3a6fd · Declare fast forward from 0.1.5-4 · Aug 04, 2024

coq-reduction-effects release 0.1.5-5 for unstable (sid) [dgit]

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

5243ffa3 · Prepare upload to unstable · Aug 04, 2024

coq-reduction-effects release 0.1.5-5 for unstable (sid)

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

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

debian/0.1.5-4

39f7dbbc · Prepare for upload · Apr 26, 2024
```
debian/0.1.5-4
```
Unverified
debian/0.1.5-2

d36f78c9 · Rebuild for binary compatibility · Mar 30, 2024
```
debian/0.1.5-2
```
Unverified
debian/0.1.5-1

09c364f5 · Prepare for upload · Dec 21, 2023
```
debian/0.1.5-1
```
Unverified
upstream/0.1.5

14100de4 · New upstream version 0.1.5 · Sep 28, 2023
```
Upstream version 0.1.5
```
debian/0.1.4-4

f10b0e7d · Prepare for upload · Jun 12, 2023
```
debian/0.1.4-4
```
Unverified
debian/0.1.4-3

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

51808139 · Prepare for upload · Sep 05, 2022
```
debian/0.1.4-2
```
Unverified
debian/0.1.4-1

e76f85c7 · Package new upstream 0.1.4 · Aug 13, 2022
```
debian/0.1.4-1
```
Unverified
upstream/0.1.4

0d8e6d1f · New upstream version 0.1.4 · Aug 13, 2022
```
Upstream version 0.1.4
```
debian/0.1.3-2

e773446f · Complete d/copyright · Jul 19, 2022
```
debian/0.1.3-2
```
Unverified
debian/0.1.3-1

143684ef · Initial packaging · Jul 16, 2022
```
debian/0.1.3-1
```
Unverified
upstream/0.1.3

85ef75a7 · New upstream version 0.1.3 · Jul 16, 2022
```
Upstream version 0.1.3
```