nixpkgs/pkgs/development
Michael Raskin ef22c53905 Update ACL2
2014-09-01 09:11:32 +04:00
..
arduino
compilers Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as bootstrap compiler 2014-09-01 08:56:37 +04:00
eclipse
guile-modules
interpreters Update ACL2 2014-09-01 09:11:32 +04:00
libraries Merge pull request #3906 from dmalikov/haskell-directory-layout 2014-08-31 22:20:25 +02:00
lisp-modules Update ASDF 2014-08-31 18:20:06 +04:00
misc
mobile
ocaml-modules
perl-modules
pharo/vm
python-modules Revert "mpi4py: New package, version 1.3.1" 2014-08-31 15:12:34 +02:00
qtcreator
r-modules
ruby-modules
tools Fix byacc 2014-08-31 16:01:03 -04:00
web