Tags

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

debian/1.14.0-5

1d8c6351 · Prepare for upload · Feb 06, 2022
```
debian/1.14.0-5
```
Unverified
debian/1.14.0-4

bfea753b · Prepare for upload · Feb 06, 2022
```
debian/1.14.0-4
```
Unverified
debian/1.14.0-3

2beb6080 · Prepare for upload · Feb 06, 2022
```
debian/1.14.0-3
```
Unverified
debian/1.14.0-2

17902e20 · Make ssreflect adapt to coq's library layout · Feb 05, 2022
```
debian/1.14.0-2
```
Unverified
debian/1.14.0-1

5aaa5ac7 · Prepare for upload · Jan 24, 2022
```
debian/1.14.0-1
```
Unverified
upstream/1.14.0

531b6581 · New upstream version 1.14.0 · Jan 22, 2022
```
Upstream version 1.14.0
```
debian/1.13.0-2

6f28d0d3 · Source-only upload to trigger a rebuild (Closes: #1003797) · Jan 17, 2022
```
debian/1.13.0-2
```
Unverified
debian/1.13.0-1

a5605767 · Prepare for upload · Nov 22, 2021
```
debian/1.13.0-1
```
Unverified
upstream/1.13.0

eb806246 · New upstream version 1.13.0 · Nov 22, 2021
```
Upstream version 1.13.0
```
debian/1.12.0-1

519871a3 · standards-version 4.5.1 · Jan 02, 2021
```
ssreflect Debian release 1.12.0-1
```
upstream/1.12.0

cef794f5 · New upstream version 1.12.0 · Jan 02, 2021
```
Upstream version 1.12.0
```

archive/debian/1.11.0-2

471033bc · Declare fast forward from 1.11.0-1 · Nov 04, 2020

ssreflect release 1.11.0-2 for unstable (sid) [dgit]

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

debian/1.11.0-2

586158ab · Recompile with OCaml 4.11.1 (Closes: #973721) · Nov 04, 2020

ssreflect release 1.11.0-2 for unstable (sid)

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

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

debian/1.11.0-1

02a6ba6b · rules-requires-root=no · Sep 11, 2020
```
ssreflect Debian release 1.11.0-1
```
upstream/1.11.0

9145ed68 · New upstream version 1.11.0 · Sep 10, 2020
```
Upstream version 1.11.0
```
debian/1.10.0+dfsg-2

ac8da27e · standards-version 4.5.0 · Mar 06, 2020
```
ssreflect Debian release 1.10.0+dfsg-2
```
debian/1.10.0+dfsg-1

6bbd6a57 · +build-dep lua · Dec 05, 2019
```
ssreflect Debian release 1.10.0+dfsg-1
```
upstream/1.10.0+dfsg

8d44afe1 · New upstream version 1.10.0+dfsg · Dec 04, 2019
```
Upstream version 1.10.0+dfsg
```
archive/debian/1.9.0+dfsg-2

bbc0bebb · Declare fast forward from 1.9.0+dfsg-1 · Nov 15, 2019
```
ssreflect release 1.9.0+dfsg-2 for unstable (sid) [dgit]

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

debian/1.9.0+dfsg-2

4127ad56 · Remove debian/source/local-options · Nov 15, 2019

ssreflect release 1.9.0+dfsg-2 for unstable (sid)

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

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

Prev
1
2
3
4
5
Next