Michael Raskin 7ffff9d558 Adding ACL2. ...

ACL2 = A Computational Logic for Applicative Common Lisp. It is 
a Lisp sublanguage and a correctness prover for it.

svn path=/nixpkgs/trunk/; revision=16708

2009-08-13 14:32:52 +00:00

..

acl2

Adding ACL2.

2009-08-13 14:32:52 +00:00

clisp

Change used archive format for CLisp

2009-08-09 22:47:18 +00:00

erlang

Update erlang

2009-05-05 15:46:03 +00:00

falcon

Adding Falcon multiparadigm programming language. It has macros and non-trivial syntax at once, which seems interesting in itself..

2009-07-09 22:30:19 +00:00

guile

GNU Guile 1.8.7.

2009-07-05 21:41:36 +00:00

io

big breaking change: renaming lib.getAttr to lib.attrByPath

2009-05-24 10:57:41 +00:00

jruby

adding jruby-1.1.6 cause the one shipping with netbeans can't get uid.

2009-06-26 16:52:58 +00:00

kaffe

* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl

2007-08-24 12:32:36 +00:00

lua-4

* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl

2007-08-24 12:32:36 +00:00

lua-5

Updating lua5.

2009-04-21 19:47:20 +00:00

maude

Maude needs libgmpxx.

2009-07-03 11:31:33 +00:00

octave

* Got rid of all --disable-static flags; they're redundant now.

2009-04-21 23:18:09 +00:00

perl-5.8

* Got rid of a lot of "postInstall=postInstall" and similar lines in

2009-04-23 13:31:10 +00:00

perl-5.10

I revert my changes to get nixpkgs working on armv5tel-linux.

2009-07-26 22:47:33 +00:00

php

PHP can take mysql as a arugment

2007-10-30 16:04:45 +00:00

php_configurable

PHP enable SOAP and openssl support

2009-06-14 01:30:04 +00:00

plt-scheme

big breaking change: renaming lib.getAttr to lib.attrByPath

2009-05-24 10:57:41 +00:00

pyrex

meta.function -> passthru.function, not killing other contents of passthru

2008-11-04 21:24:10 +00:00

python

remove -Wno-long-double flag for python on darwin

2009-07-24 14:51:04 +00:00

python-new/2.5

fix pygtk in pyhtonNew

2009-07-09 03:50:22 +00:00

r-lang

- Some Ruby interpreter bumped version

2008-08-29 13:53:28 +00:00

ruby

Updated ruby interpreter

2009-08-03 11:53:58 +00:00

spidermonkey

Added Makefile.extra to spidermonkey

2007-11-11 16:46:15 +00:00

sys-perl

…

tcl

Updating tcl/tk

2009-05-03 14:35:56 +00:00

toolbus

* Get rid of all references to nix.cs.uu.nl.

2008-11-14 16:57:19 +00:00

xulrunner/wrapper

* Use exec.

2008-11-24 09:59:38 +00:00