Tags · cduce / cduce · GitLab

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

mono-devel

be686d9a · Update configure and Makefile do detect netcgi2 package instead of netcgi1. · Mar 26, 2021
```
Tag the monomprhic devel branch.
```
Download source code

zip tar.gz tar.bz2 tar
poly-devel

81044dd9 · Merge branch 'dune-switch' into poly-prereq · Apr 13, 2021
```
Tag the begining of the polymorphic branch.
```
Download source code

zip tar.gz tar.bz2 tar
0.6.0

e661d988 · Merge branch 'ocamlinterface' into stable · Mar 07, 2014
```
Stable release
```
Download source code

zip tar.gz tar.bz2 tar
0.5.5

1a360e64 · Bumped version to 0.5.5 · Oct 24, 2011
```
release version 0.5.5
```
Download source code

zip tar.gz tar.bz2 tar
0.5.4

5127ec59 · Bumped version to 0.5.4 · May 16, 2011
```
release version 0.5.4
```
Download source code

zip tar.gz tar.bz2 tar
0.5.3

e36ba39d · Bumped to version 0.5.3 · Feb 13, 2009
```
release version 0.5.3
```
Download source code

zip tar.gz tar.bz2 tar
0.5.1

09f9abf4 · - new release 0.5.1 · Jan 30, 2008
```
release version 0.5.1
```
Download source code

zip tar.gz tar.bz2 tar
0.5.2

2670c784 · - release 0.5.2 and website update · Feb 25, 2008
```
release version 0.5.2
```
Download source code

zip tar.gz tar.bz2 tar