5 Commits

Author	SHA1	Message	Date
Eelco Dolstra	907bb1aac6	* ltrace: updated to 0.5.3. ... * libdbi / libdbi-drivers: updated to 0.8.3, and make it compile with SQLite. * qemu-image: fix the URL. * gdmap: make it build again (requires an older GTK+). * rlwrap: updated to 0.37. * smbfs-fuse -> fusesmb to match the upstream name. * x11vnc: updated to 0.9.10. * clearlyU: fix the URL. * Various packages: follow the coding conventions. svn path=/nixpkgs/trunk/; revision=22814	2010-07-29 18:55:16 +00:00
Michael Raskin	9e928bb1e9	Adding eProver to buildfarm via maintanership ... svn path=/nixpkgs/trunk/; revision=16854	2009-08-25 08:28:08 +00:00
Eelco Dolstra	5d9dfc1e60	* Removed $installCommand, it's no longer needed since we split the ... install and fixup phases. You can just override installPhase. svn path=/nixpkgs/trunk/; revision=12787	2008-09-02 13:51:32 +00:00
Michael Raskin	66f306ac4e	Removing tetex reference in E Prover ... svn path=/nixpkgs/trunk/; revision=11810	2008-05-10 09:19:50 +00:00
Michael Raskin	c86efaec81	Added E authomated theorem prover and script eproof-tptp for TPTP syntax. ... svn path=/nixpkgs/trunk/; revision=9418	2007-10-07 13:37:08 +00:00