nixpkgs/pkgs
Michael Raskin 3c452363ce Use a patch to fix make 3.82 build of Coq
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
2010-11-23 05:54:58 +00:00
..
applications Use a patch to fix make 3.82 build of Coq 2010-11-23 05:54:58 +00:00
build-support Updating from trunk again 2010-11-17 17:03:09 +00:00
data Do not use ttmkfdir - claimed to be obsolete, Debian patches are going offline.. 2010-11-10 13:22:53 +00:00
desktops Updating from trunk. 2010-11-11 22:18:14 +00:00
development Merging from trunk 2010-11-22 11:39:42 +00:00
games Updating from trunk again 2010-11-17 17:03:09 +00:00
lib Merging from trunk. I resolved some conflicts; I hope that well. 2010-10-23 14:52:21 +00:00
misc Merging from trunk 2010-11-22 11:39:42 +00:00
os-specific Fix for a syscall restart bug on linux-mips 2010-11-21 15:26:36 +00:00
servers Updating from trunk again 2010-11-17 17:03:09 +00:00
shells
stdenv Fixing a stdenv problem... 'binutils' where linked with zlib from 2010-11-21 14:29:20 +00:00
test
tools Fix the makefile 2010-11-22 23:16:05 +00:00
top-level Merging from trunk 2010-11-22 11:39:42 +00:00