1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 05:00:16 +00:00
nixpkgs/pkgs/development
John Wiegley bee172501d
Merge pull request #37591 from vbgl/coq-88beta1
coq: init at 8.8+beta1
2018-03-23 22:09:06 -07:00
..
arduino
beam-modules
bower-modules/generic
compilers openjdk9: 9.0.4+11 -> 9.0.4+12 2018-03-23 21:18:42 -05:00
coq-modules Merge pull request #37591 from vbgl/coq-88beta1 2018-03-23 22:09:06 -07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic Emscripten 1.37.16 to 1.37.36 (#37291) 2018-03-18 13:34:46 +01:00
go-modules
guile-modules
haskell-modules Remove HIE package set until automation can be put in place. 2018-03-23 10:06:58 -04:00
idris-modules idrisPackages: add packages 2018-03-20 07:16:21 +01:00
interpreters erlang: Change order of commands in postPach and postInstall. 2018-03-23 10:41:42 +01:00
java-modules jogl: temporary workaround for openjdk8 2018-03-19 08:44:21 +00:00
libraries fox: 1.6.49 -> 1.6.56 2018-03-23 21:04:09 -05:00
lisp-modules
lua-modules
misc
mobile xcodeenv: publish xcarchive directory in the output store path if requested 2018-03-22 15:02:09 +01:00
node-packages
ocaml-modules Merge pull request #37385 from coreyoconnor/google-drive-ocamlfuse-update 2018-03-20 00:17:43 +00:00
perl-modules
pharo
pure-modules
python-modules Merge pull request #37566 from Ma27/init-face-recognition 2018-03-23 09:55:04 +01:00
qtcreator
r-modules
ruby-modules
stm32/betaflight
tools waf: 2.0.4 -> 2.0.6 2018-03-23 14:53:24 -05:00
web kore: fix clang build 2018-03-20 00:00:42 +01:00