1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 13:10:33 +00:00
nixpkgs/pkgs
vbgl 384d2febfe Merge pull request #8915 from vbgl/pg
ProofGeneral: 4.3pre131011 -> 4.3pre150313
2015-07-26 11:03:44 +02:00
..
applications Merge pull request #8915 from vbgl/pg 2015-07-26 11:03:44 +02:00
build-support buildRustPackage: Fix rust builds due to #7524 2015-07-24 20:47:58 +02:00
data man-pages: 4.00 -> 4.01 2015-07-25 21:54:18 +02:00
desktops gnome3: Include gnome-shell-extensions in session path 2015-07-24 12:41:20 +02:00
development libdmtx: remove imagemagick dependency, /cc #8990 2015-07-26 09:36:13 +02:00
games minecraft: fix wrapper 2015-07-24 00:26:48 +02:00
misc hplip: patch shebangs in $out/share 2015-07-23 03:12:24 +02:00
os-specific iproute: 4.0.0 -> 4.1.1 2015-07-26 00:17:22 +02:00
servers Merge branch 'staging' 2015-07-24 15:12:28 +02:00
shells Merge branch 'master.upstream' into staging.upstream 2015-07-15 02:02:46 -07:00
stdenv make bootstrap files buildable in sandbox 2015-07-10 14:00:47 -07:00
test
tools stress-ng: 0.04.11 -> 0.04.12 2015-07-24 22:03:32 +02:00
top-level llvmPackages*: refactor to use callPackage, etc. 2015-07-25 09:13:52 +02:00