nixpkgs-suyu/pkgs/development
xeji a627399a84
Merge pull request #42567 from vbgl/ocaml-psmt2-frontend
ocamlPackages.psmt2-frontend: init at 0.1
2018-06-26 17:00:37 +02:00
..
arduino platformio: 3.5.2 -> 3.5.3 2018-06-19 19:01:34 +02:00
beam-modules
bower-modules/generic
compilers Merge pull request #42412 from obsidiansystems/even-more-android-fixes 2018-06-25 19:09:29 -04:00
coq-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules haskell-vector-sized: update override for the latest version 2018-06-26 10:12:28 +02:00
idris-modules
interpreters perl528: init at 5.28.0 2018-06-25 13:33:09 +00:00
java-modules
libraries Merge pull request #42565 from Lassulus/lief 2018-06-26 15:50:58 +02:00
lisp-modules
lua-modules
misc
mobile android: define __ANDROID_API__ in cflags 2018-06-25 17:12:52 -04:00
node-packages
ocaml-modules Merge pull request #42567 from vbgl/ocaml-psmt2-frontend 2018-06-26 17:00:37 +02:00
perl-modules
pharo
pure-modules
python-modules qiskit: fix build 2018-06-26 16:55:08 +09:00
r-modules Merge pull request #42290 from mnacamura/r-igraph-darwin 2018-06-20 19:52:36 +02:00
ruby-modules gem-config: add fog-dnsimple, redis-rack, ffi-rzmq-core, mini_magick (#42055) 2018-06-15 12:27:31 +01:00
tools multi-ghc-travis: update to current git HEAD 2018-06-25 17:00:02 +02:00
web kcgi: 0.10.5 -> 0.10.6 (#42251) 2018-06-24 19:19:39 +02:00