Mart Kolthof 0f19802139 Forgot to patch the config file to point to the right binaries. ... svn path=/nixpkgs/trunk/; revision=8256		2007-03-08 14:06:56 +00:00
..
atermprinter.patch	added cil-aterm to nixpkgs	2006-01-02 14:24:36 +00:00
cil-aterm-1.3.3.nix	changed cil from version 1.3.3 to 1.3.4	2006-01-16 10:09:55 +00:00
cil-aterm-1.3.4.patch	CX-1: Nix installation of CX is broken	2006-09-13 12:02:12 +00:00
cil-aterm-1.3.6.patch	Forgot to patch the config file to point to the right binaries.	2007-03-08 14:06:56 +00:00
default.nix	upgraded to version 1.3.6	2007-03-05 16:12:08 +00:00