Tags

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

upstream/2.26+dfsg

0641337d · Imported Upstream version 2.26+dfsg · May 15, 2010
```
Upstream version 2.26+dfsg
```
debian/2.25+dfsg-1

15832777 · Release to unstable · Apr 27, 2010
```
Debian release 2.25+dfsg-1
```
upstream/2.25+dfsg

2c64efd3 · Imported Upstream version 2.25+dfsg · Apr 26, 2010
```
Upstream version 2.25+dfsg
```
debian/2.23+dfsg-2

f403888f · Correctly detect Coq-float wrt. its new path · Feb 17, 2010
```
Debian release 2.23+dfsg-2
```
debian/2.23+dfsg-1

3de1ee27 · Add ${ocaml:Depends} in Why's Depends field · Jan 24, 2010
```
Debian release 2.23+dfsg-1
```
upstream/2.23+dfsg

94e2b297 · Imported Upstream version 2.23+dfsg · Jan 10, 2010
```
Upstream version 2.23+dfsg
```
debian/2.19+dfsg-2

1ba6c006 · Install why library in usr/share since there is no arch dependent file. · Sep 10, 2009
```
Debian release 2.19+dfsg-2
```
debian/2.19+dfsg-1

1d30957e · Fix long description for why-examples · Aug 27, 2009
```
Debian release 2.19+dfsg-1
```
upstream/2.19+dfsg

20061dc4 · Imported Upstream version 2.19+dfsg · Aug 27, 2009
```
Upstream version 2.19+dfsg
```
debian/2.18.dfsg-5

83c55292 · Update README.source · Jul 07, 2009
```
Debian release 2.18.dfsg-5
```
debian/2.18.dfsg-4

6b784898 · Prepare upload to unstable · May 20, 2009
```
Debian release 2.18.dfsg-4
```
debian/2.18.dfsg-3

9d3d6edd · Prepare to release · May 15, 2009
```
Debian release 2.18.dfsg-3
```
debian/2.18.dfsg-2

c96fc0b0 · libwhy-coq replaces why (<< 2.18.dfsg-1) · Apr 03, 2009
```
Debian release 2.18.dfsg-2
```
debian/2.18.dfsg-1

93101351 · Tabs are evil + reordering · Mar 22, 2009
upstream/2.18.dfsg

dd8738e3 · Imported Upstream version 2.18.dfsg · Feb 02, 2009
```
Upstream version 2.18.dfsg
```
upstream/2.17.dfsg

303d036a · Imported Upstream version 2.17.dfsg · Dec 17, 2008
```
Upstream version 2.17.dfsg
```
upstream/2.16.dfsg

1294bd29 · Imported Upstream version 2.16.dfsg · Nov 08, 2008
```
Upstream version 2.16.dfsg
```
upstream/2.16

7a47cbdf · Imported Upstream version 2.16 · Nov 04, 2008
```
Upstream version 2.16
```
debian/2.13-2

c1ef1d6f · Prepare changelog for upload · Sep 17, 2008
```
Tagging why 2.13-2
```
upstream/2.15

4e3e2c1d · Imported Upstream version 2.15 · Sep 10, 2008
```
Upstream version 2.15
```

Prev
1
2
3
4
Next