3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
2016-03-08 01:19:42 +03:00
..
applications proofgeneral_HEAD: New expr: Proof General from GitHub 2016-03-07 07:16:04 -08:00
build-support haskell: Rename file where buildStackProject is defined. 2016-03-04 21:18:14 +01:00
data Merge pull request #13621 from DamienCassou/add-gentium-book-basic 2016-03-02 19:20:58 +01:00
desktops kde5.plasma.plasma-workspace: 5.5.5.1 -> 5.5.5.2 2016-03-03 05:57:09 -06:00
development Merge pull request #13695 from forked-upstream-packages-for-ghcjs/more-bootpkgs 2016-03-07 14:15:42 +01:00
games crawl: cleanup 2016-03-06 05:10:20 +03:00
misc splix: revert "2.0.0 -> svn-r315" version update 2016-03-07 13:37:54 +01:00
os-specific ChromiumOS kernel option fixup 2016-03-08 01:19:42 +03:00
servers tomcat: 6.0.44 -> 6.0.45, 7.0.62 -> 7.0.68, 8.0.23 -> 8.0.32 2016-03-07 03:34:44 +01:00
shells Merge pull request #13368 from nathan7/fish-ul 2016-02-28 22:09:32 +00:00
stdenv make-bootstrap-tools: fix #13629: glibc problems 2016-03-03 12:09:50 +01:00
test
tools Merge pull request #13705 from aneeshusa/use-bin-instead-of-sbin-for-openssh 2016-03-07 12:03:37 +00:00
top-level proofgeneral_HEAD: New expr: Proof General from GitHub 2016-03-07 07:16:04 -08:00