1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-01 01:51:24 +00:00
nixpkgs/pkgs/development
Samuel Leathers 711f799adf
Merge pull request #34946 from vbgl/compcert-3.2
compcert: 3.1 -> 3.2
2018-02-13 21:31:44 -05:00
..
arduino platformio-fhs: minor changes 2018-02-11 09:19:53 +01:00
beam-modules
bower-modules/generic
compilers compcert: 3.1 -> 3.2 2018-02-13 22:26:39 +00:00
coq-modules
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules multi-ghc-travis: update to current Git master 2018-02-13 10:57:40 +01:00
idris-modules
interpreters python: Pull ensureNewerSourcesHook call to all-packages.nix 2018-02-13 16:32:16 +02:00
java-modules buildMavenPackage: Use concatStringsSep 2018-02-11 00:17:47 +02:00
libraries Merge pull request #34507 from jtojnar/pipewire 2018-02-14 02:29:39 +01:00
lisp-modules lispPackages, lispPackages.quicklisp-to-nix: 2017-07-25 -> 2018-01-31 2018-02-12 20:45:33 +01:00
lua-modules
misc
mobile maintainers: capitalize the Profpatsch attribute (vanity) 2018-02-12 07:24:50 +01:00
node-packages
ocaml-modules
perl-modules Fix build failures with DBD-SQLite 2018-02-06 18:06:23 -08:00
pharo
pure-modules
python-modules pythonPackages.Nikola: remove input pytest-mock 2018-02-12 14:22:40 +02:00
qtcreator
r-modules rPackages.pbdZMQ: fix package loading on Darwin 2018-02-10 00:54:28 +09:00
ruby-modules
stm32/betaflight
tools buildah: init at 0.11 2018-02-13 23:04:16 +01:00
web Merge pull request #34860 from vcunat/p/nodejs-6_x 2018-02-12 09:54:42 +08:00