Commit graph

12 commits

Author SHA1 Message Date
Kirill Boltaev
59e9b38fe1 cilaterm: mark as broken 2016-09-26 02:36:49 +03:00
Eelco Dolstra
607b0d3e80 * Rewrite all the SourceForge URLs to mirror://sourceforge/.
find . -name "*.nix" | while read fn; do sed 's^http://[a-z]*.dl.sourceforge.net/sourceforge/^mirror://sourceforge/^g' < $fn > $fn.new; mv $fn.new $fn; done

svn path=/nixpkgs/trunk/; revision=9198
2007-08-27 13:01:33 +00:00
Mart Kolthof
12b6b77f96 upgraded to version 1.3.6
svn path=/nixpkgs/trunk/; revision=8185
2007-03-05 16:12:08 +00:00
Mart Kolthof
f201344599 Fixed typo.
svn path=/nixpkgs/trunk/; revision=7778
2007-01-23 16:03:11 +00:00
Mart Kolthof
66706c592e Altered download location to sourceforge.
svn path=/nixpkgs/trunk/; revision=7769
2007-01-23 13:29:11 +00:00
Mart Kolthof
edefde9b2f * trying to keep to the standards
svn path=/nixpkgs/trunk/; revision=6226
2006-08-24 14:19:59 +00:00
Mart Kolthof
9c67a8d113 * Third try :P
svn path=/nixpkgs/trunk/; revision=6222
2006-08-24 13:32:56 +00:00
Mart Kolthof
4bfa933f40 * Second try
svn path=/nixpkgs/trunk/; revision=6221
2006-08-24 10:48:49 +00:00
Mart Kolthof
a312ca7edd * Switching back to OCaml 3.08.0 to hopefully resolve compile errors
svn path=/nixpkgs/trunk/; revision=6215
2006-08-23 16:10:27 +00:00
Mart Kolthof
1a496e77c8 changed cil from version 1.3.3 to 1.3.4
svn path=/nixpkgs/trunk/; revision=4552
2006-01-16 10:09:55 +00:00
Mart Kolthof
431962ce8f added the right buildInputs
svn path=/nixpkgs/trunk/; revision=4528
2006-01-09 14:32:08 +00:00
Mart Kolthof
0ab104df8d added cil-aterm to nixpkgs
svn path=/nixpkgs/trunk/; revision=4482
2006-01-02 14:24:36 +00:00