Tags

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

debian/1.9.0+dfsg-1

03a83188 · installation of doc files: update name of upstream changelog file · Aug 20, 2019
```
ssreflect Debian release 1.9.0+dfsg-1
```
upstream/1.9.0+dfsg

687951eb · New upstream version 1.9.0+dfsg · Aug 20, 2019
```
Upstream version 1.9.0+dfsg
```
debian/1.7.0+dfsg-1

3249023d · repack upstream, remove docs/htmldoc/js · Feb 16, 2019
```
ssreflect Debian release 1.7.0+dfsg-1
```
upstream/1.7.0+dfsg

8a0184fe · New upstream version 1.7.0+dfsg · Feb 16, 2019
```
Upstream version 1.7.0+dfsg
```
upstream/1.7.0

75c95ee4 · New upstream version 1.7.0 · Feb 11, 2019
```
Upstream version 1.7.0
```
debian/1.6.1-3

5fe44ca7 · Recompile with OCaml 4.05.0 · Oct 09, 2017
```
ssreflect Debian release 1.6.1-3
```
Unverified
debian/1.6.1-2

430b3d82 · fix build-arch target · Dec 30, 2016
```
ssreflect Debian release 1.6.1-2
```
debian/1.6.1-1

9c66906d · bdepends on Coq 8.6 (the *install.in files depend on it) · Dec 28, 2016
```
ssreflect Debian release 1.6.1-1
```
upstream/1.6.1

bdffa485 · New upstream version 1.6.1 · Dec 27, 2016
```
Upstream version 1.6.1
```
debian/1.6-1

18f77690 · Fix README/ChangeLog installation · Sep 29, 2016
```
ssreflect Debian release 1.6-1
```
upstream/1.6

0dfc136a · Imported Upstream version 1.6 · Aug 30, 2016
```
Upstream version 1.6
```
rm

1bd6c761 · Imported Upstream version 1.6 · Feb 04, 2016
```
Upstream version 1.6
```
debian/1.5-3

b1dd08aa · Recompile with OCaml 4.02.3 · Oct 14, 2015
```
ssreflect Debian release 1.5-3
```
Unverified
debian/1.5-2

d638721d · Recompile with coq 8.4pl4 · Jul 30, 2014
```
Debian release 1.5-2
```
Unverified
debian/1.5-1

e1ca6837 · Update changelog and prepare upload to unstable · Mar 13, 2014
```
Debian release 1.5-1
```
Unverified
upstream/1.5

344dec30 · Imported Upstream version 1.5 · Mar 13, 2014
```
Upstream version 1.5
```
debian/1.5_rc1-3

570b57a1 · Update changelog and prepare upload to unstable · Jan 20, 2014
```
ssreflect Debian release 1.5~rc1-3
```
Unverified
debian/1.5_rc1-2

1dfba25a · Update changelog and prepare upload to unstable · Dec 06, 2013
```
ssreflect Debian release 1.5~rc1-2
```
Unverified
debian/1.5_rc1-1

f60fc919 · Update changelog and prepare upload to experimental · Aug 10, 2013
```
ssreflect Debian release 1.5~rc1-1
```
Unverified
upstream/1.5_rc1

69c436c9 · Imported Upstream version 1.5~rc1 · Aug 10, 2013
```
Upstream version 1.5~rc1
```

Prev
1
2
3
4
5
Next