3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
WilliButz 1c09a7cd4f wt: 3.3.9 -> 3.3.10, 4.0.2 -> 4.0.3
This also removes the boost version pinning which became unnecessary
and uses the updated github username for the source repo.
2018-04-19 00:36:29 +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 wt: 3.3.9 -> 3.3.10, 4.0.2 -> 4.0.3 2018-04-19 00:36:29 +02:00
games Merge pull request #38864 from tadfisher/yquake2 2018-04-15 20:20:52 +01:00
misc Merge pull request #39032 from r-ryantm/auto-update/xscreensaver 2018-04-18 15:42:02 +00:00
os-specific linux: 4.16-rc7 -> 4.17-rc1 2018-04-17 20:28:11 -04:00
servers fileshelter: enable parallel building 2018-04-19 00:35:55 +02:00
shells pkgs/shells: move extensions to subdirs 2018-04-17 14:47:32 -05:00
stdenv Merge pull request #38932 from svanderburg/cygwin-fixes 2018-04-18 11:05:19 -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