nixpkgs/pkgs/development
Pascal Wittmann 46d9fbc446 ceptre: init at 2015-08-15
A linear logic programming language for modeling generative interactive systems
2015-09-05 11:20:29 +02:00
..
arduino
compilers julia03: use bundled llvm 2015-09-04 03:09:53 +03:00
coq-modules coq-QuickChick: 21f50a02 -> 20150605 2015-08-18 21:28:33 +02:00
dotnet-modules/patches
eclipse ecj: require jdk7 instead of jdk 2015-07-27 17:37:37 +02:00
go-modules/generic goPackages: Exclude commonly useless go packages from being built 2015-08-29 19:10:24 -07:00
guile-modules guile-gnome-platform: 2.16.1 -> 2015/01/23 git 2015-07-23 04:13:03 -05:00
haskell-modules haskell-DSA: test suite run-time has been reduced upstream 2015-09-04 11:51:01 +02:00
interpreters ceptre: init at 2015-08-15 2015-09-05 11:20:29 +02:00
libraries pond: Fix x86_64 optimizations to be correctly applied to only x86_64 2015-09-05 01:35:41 -07:00
lisp-modules ASDF: 3.1.4 -> 3.1.5 2015-08-08 21:01:31 +03:00
lua-modules
misc
mobile
ocaml-modules ocaml.asn1-combinators: mark broken on i686 2015-09-02 20:29:26 +02:00
perl-modules Merge #8929: perl-LWP: enable tests + a few bumps 2015-07-30 16:03:44 +02:00
pharo Update Pharo VM and Launcher 2015-08-08 08:22:07 +02:00
pure-modules pure-octave: mark as broken 2015-08-06 12:52:34 +02:00
python-modules setuptools: 18.0.1 -> 18.2 2015-08-27 18:46:10 +02:00
qtcreator qtcreator: add missing QML modules (fixes #9629) 2015-09-03 19:24:58 +02:00
r-modules R: fix Hydra build & evaluation errors 2015-08-06 20:13:50 +02:00
ruby-modules
tools go-repo-root: Move to go-packages 2015-09-05 00:38:42 -07:00
web wml: fix build and unbreak 2015-09-03 11:10:06 +02:00