nixpkgs/pkgs
Michael Raskin 07de46c2fa Update E prover
svn path=/nixpkgs/trunk/; revision=31269
2012-01-04 10:31:49 +00:00
..
applications Update E prover 2012-01-04 10:31:49 +00:00
build-support Add modemmanager 2012-01-04 09:05:22 +00:00
data shared-desktop-ontologies-0.8.1 2011-12-15 20:16:46 +00:00
desktops Revert "Use qt-4.8 by default" 2012-01-02 12:54:22 +00:00
development Updating mono. 2012-01-04 08:14:07 +00:00
games naev-0.5.0 2012-01-02 17:37:53 +00:00
lib Add mornfall as a maintainer 2011-12-03 22:05:21 +00:00
misc Cause ghostscript to build libgs. 2012-01-04 00:26:48 +00:00
os-specific Ralink firmware is no longer available directly from ralinktech.com, it is now available from git.kernel.org. I've used the debian svn repo here instead for convenience 2012-01-03 22:02:34 +00:00
servers moved parts of extra.list back to tarballs-7.6.list 2011-12-31 15:37:51 +00:00
shells zsh profile load tweaking only on nixos 2011-12-29 20:09:30 +00:00
stdenv
test
tools Fixing a typo in the icoutils file. 2012-01-04 09:47:22 +00:00
top-level Adding icoutils 2012-01-04 09:42:38 +00:00