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