| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | * Rewrite all the SourceForge URLs to mirror://sourceforge/. | Eelco Dolstra | 2007-08-27 |
| * | upgraded to version 1.3.6 | Mart Kolthof | 2007-03-05 |
| * | Fixed typo. | Mart Kolthof | 2007-01-23 |
| * | Altered download location to sourceforge. | Mart Kolthof | 2007-01-23 |
| * | * trying to keep to the standards | Mart Kolthof | 2006-08-24 |
| * | * Third try :P | Mart Kolthof | 2006-08-24 |
| * | * Second try | Mart Kolthof | 2006-08-24 |
| * | * Switching back to OCaml 3.08.0 to hopefully resolve compile errors | Mart Kolthof | 2006-08-23 |
| * | changed cil from version 1.3.3 to 1.3.4 | Mart Kolthof | 2006-01-16 |
| * | added the right buildInputs | Mart Kolthof | 2006-01-09 |
| * | added cil-aterm to nixpkgs | Mart Kolthof | 2006-01-02 |