3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development
Ryan Mulligan 81f04d6b49 acl2: 7.4 -> 8.0
Semi-automatic update; builds on NixOS
2018-02-25 16:18:46 +01:00
..
arduino
beam-modules
bower-modules/generic
compilers ghc841: bump to 20180224 2018-02-25 06:59:16 +03:00
coq-modules
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules buildGoPackage: disable go 1.10 cache 2018-02-24 01:57:16 +00:00
guile-modules
haskell-modules ghc841 | tar: upstream fix not on Hackage yet 2018-02-25 07:38:19 +03:00
idris-modules
interpreters acl2: 7.4 -> 8.0 2018-02-25 16:18:46 +01:00
java-modules
libraries libgcrypt: Fix cross-compilation 2018-02-24 22:51:22 -05:00
lisp-modules lispPackages.clwrapper: patching the second shebang, because source builtin is used 2018-02-17 22:31:18 +01:00
lua-modules
misc
mobile androidenv: Better platform conditionals 2018-02-24 01:43:10 -05:00
node-packages
ocaml-modules ocamlPackages.curses: Fix build after ncurses5 changes 2018-02-23 06:21:11 +02:00
perl-modules
pharo
pure-modules
python-modules Merge pull request #35345 from dtzWill/update/grip-4.4.0 2018-02-24 07:49:30 +00:00
qtcreator qtcreator: fix path to qtquickcontrols 2018-02-18 14:44:16 +01:00
r-modules rPackages: add bioconductor archive url 2018-02-21 09:58:17 +11:00
ruby-modules Support darwin 2018-02-20 11:29:07 +01:00
stm32/betaflight
tools jbuilder: 1.0+beta14 -> 1.0+beta18 2018-02-23 11:07:33 +01:00
web nodejs: 6.12.3 -> 6.13.0 2018-02-18 22:57:57 +08:00