3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
2018-04-18 14:37:04 +02:00
..
applications coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
build-support dockerTools.buildImage: add /nix/store with correct permissions 2018-04-16 10:19:01 +02:00
common-updater
data docbook-xsl-ns: cleanup last patch 2018-04-17 21:15:43 -05:00
desktops Merge pull request #38032 from romildo/deepin 2018-04-17 09:55:21 -05:00
development hcloud: 1.3.0 -> 1.4.0 2018-04-18 09:53:52 +02:00
games Merge pull request #38864 from tadfisher/yquake2 2018-04-15 20:20:52 +01:00
misc elk6: 6.2.3 -> 6.2.4 2018-04-18 00:38:48 +02:00
os-specific linux: 4.16-rc7 -> 4.17-rc1 2018-04-17 20:28:11 -04:00
servers Merge pull request #39053 from r-ryantm/auto-update/exim 2018-04-18 12:59:53 +02:00
shells pkgs/shells: move extensions to subdirs 2018-04-17 14:47:32 -05:00
stdenv Merge pull request #38639 from shlevy/platforms-not-broken 2018-04-17 17:23:50 -04:00
test
tools Merge pull request #39040 from r-ryantm/auto-update/pstoedit 2018-04-18 13:00:27 +02:00
top-level coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00