nixpkgs/pkgs
Jörg Thalheim 9bf92a1640
Merge pull request #44997 from vbgl/default-coq-8.8
coq: default to version 8.8
2018-08-14 10:29:34 +02:00
..
applications qbittorrent: 4.1.1 -> 4.1.2 (#45005) 2018-08-14 10:24:47 +02:00
build-support Revert "buildRustPackage: allow patches to fix Cargo.lock" 2018-08-13 12:26:33 +02:00
common-updater
data unifont: 11.0.01 -> 11.0.02 2018-08-12 21:39:41 +02:00
desktops mate.mate-media: 1.20.1 -> 1.21.0 (#44745) 2018-08-13 14:23:47 +02:00
development Merge pull request #45004 from jbaum98/flint-darwin 2018-08-14 10:21:08 +02:00
games Merge pull request #44955 from nonfreeblob/fix 2018-08-12 19:53:50 -04:00
misc Merge branch 'master' into add-missing-licenses 2018-08-11 09:36:34 +02:00
os-specific zfs: unsupported for 4.18 2018-08-13 20:18:56 -04:00
servers cstore_fdw: 1.6.0 -> 1.6.1 (#44792) 2018-08-13 14:35:53 +02:00
shells powershell: 6.0.3 -> 6.0.4 2018-08-13 10:01:53 +07:00
stdenv stdenv/build-support: support .tbz and .txz tarballs 2018-07-30 15:30:16 -04:00
test pkgs/tests: Add test for LD_LIBRARY_PATH 2018-08-01 19:02:21 +03:00
tools Merge pull request #44841 from Ma27/bump-hydra 2018-08-14 09:55:11 +02:00
top-level Merge pull request #44997 from vbgl/default-coq-8.8 2018-08-14 10:29:34 +02:00