Mart Kolthof
|
cc125be42e
|
Enabling verbose output in order find the problem of bug CX-1
svn path=/nixpkgs/trunk/; revision=6407
|
2006-08-31 07:54:21 +00:00 |
|
Mart Kolthof
|
e3e3031d69
|
Trying to resolve bug CX-1
svn path=/nixpkgs/trunk/; revision=6383
|
2006-08-30 17:44:04 +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
|
03e93539b4
|
* refactored operators, kinds and storage modifiers to make them checkable at compiletime
svn path=/nixpkgs/trunk/; revision=4863
|
2006-02-20 10:43:19 +00:00 |
|
Mart Kolthof
|
7bc09b8f2f
|
inversed patch
svn path=/nixpkgs/trunk/; revision=4560
|
2006-01-16 13:13:43 +00:00 |
|
Mart Kolthof
|
2939db05c9
|
added binaries in 'make install'
svn path=/nixpkgs/trunk/; revision=4555
|
2006-01-16 12:36:30 +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 |
|