Michael Raskin 1c3434cc16 Update E prover		2012-12-09 00:36:38 +04:00
..
attrset-to-dir.nix	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
attrset-to-dir.sh	update-upstream-data: Fix a small bug	2012-07-07 20:11:06 +04:00
create-src-info-git.sh	Trying to add Zen Linux Kernel	2009-09-11 13:16:18 +00:00
create-src-info.sh	Small fixes to auto-updater	2010-06-23 04:50:03 +00:00
design.txt	Update source updater to support fetchgit; add aufs2 using that method. Unfortunately, AUFS2 seems to require some strict conditions on kernel options and version..	2009-09-08 09:35:21 +00:00
snippets.sh	Use an SF version extractor with better chances to yield correct result by default	2010-06-23 04:58:07 +00:00
test-case.nix	Add an automated updater script and definitions for its use for WebKit	2009-08-23 22:10:08 +00:00
update-upstream-data.sh	Dir-per-version SF layout seems to be more relevant now	2011-12-13 21:00:26 +00:00
update-walker-service-specific.sh	Update Asymptote	2012-12-04 10:33:37 +04:00
update-walker.sh	Fix dummy pseudo-updates being found for some packages	2012-12-08 13:05:43 +04:00
urls-from-page.sh	Update E prover	2012-12-09 00:36:38 +04:00