homalg-project/homalg_project — pull request #1 by sebasguts (2013-01-04 17:56:06+00:00)
Title: Experimental gap start script

which creates a workspace out of all the packages,
and stores a checksum of the packages.