1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 09:31:01 +00:00
nixpkgs/pkgs/development
Bas van Dijk b2042983ef
Merge pull request #46956 from Taneb/sbv-fix-z3
haskellPackages.sbv: fix location of z3 executable
2018-09-20 14:03:36 +02:00
..
arduino
beam-modules
bower-modules/generic
compilers Revert "iasl: 20180313 -> 20180629 (#46272)" 2018-09-19 12:03:44 +02:00
coq-modules
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules haskellPackages.sbv: fix location of z3 executable 2018-09-20 11:45:16 +01:00
idris-modules
interpreters php: add option to enable argon2 2018-09-17 19:02:16 +02:00
java-modules
libraries editline: 1.15.3 -> 1.16.0 (#46897) 2018-09-19 23:55:50 +02:00
lisp-modules lispPackages.quicklisp: 2018-04-30 -> 2018-08-31 ; regenerate packages 2018-09-12 11:52:43 +03:00
lua-modules
misc
mobile Merge remote-tracking branch 'upstream/master' into darwin-android-ndk-for-master 2018-09-17 22:48:25 -04:00
node-packages Merge pull request #46712 from obsidiansystems/ios-depoy 2018-09-15 14:56:32 -04:00
ocaml-modules ocamlPackages.cohttp: 1.0.2 -> 1.1.1 2018-09-19 16:50:21 +00:00
perl-modules
pharo
pure-modules
python-modules pythonPackages.nilearn: disable still failing tests (#46918) 2018-09-19 23:50:22 +02:00
r-modules
ruby-modules solargraph: 0.25.1 -> 0.27.1 2018-09-16 04:56:35 -04:00
tools Merge pull request #46752 from rvolosatovs/feature/gotools 2018-09-20 08:16:43 +01:00
web postman: 6.2.5 -> 6.3.0 (#46771) 2018-09-17 11:45:27 +02:00