Michael Raskin
|
1c3434cc16
|
Update E prover
|
2012-12-09 00:36:38 +04:00 |
|
Michael Raskin
|
43bc3880f6
|
Process relative URLs
svn path=/nixpkgs/trunk/; revision=34367
|
2012-06-06 13:26:48 +00:00 |
|
Michael Raskin
|
a1ea759dd9
|
Adding libev - an even loop library remotely similar to libevent
svn path=/nixpkgs/trunk/; revision=16877
|
2009-08-27 07:17:57 +00:00 |
|
Michael Raskin
|
5a6e313abf
|
Add an automated updater script and definitions for its use for WebKit
svn path=/nixpkgs/trunk/; revision=16816
|
2009-08-23 22:10:08 +00:00 |
|