| Name | Description | Contact | Last modified | ||
| ca46 | "Mercurial repository" | unknown | Fri, 26 Sep 2014 11:53:20 +0100 | zip gz bz2 | |
| eqlogic_ss12 | "Mercurial repository" | unknown | Wed, 28 Aug 2013 19:58:58 +0100 | zip gz bz2 | |
| isabelle_admin | "Mercurial repository" | unknown | Wed, 10 Oct 2018 14:55:13 +0100 | zip gz bz2 | |
| logic_tutorials | "Mercurial repository" | unknown | Thu, 27 Sep 2018 14:04:29 +0100 | zip gz bz2 | |
| "salted Mta-Repository" | "Mercurial repository" | unknown | Wed, 10 Sep 2014 14:13:45 +0100 | zip gz bz2 | |
| "MUW Updatescript for gentoo" | "Mercurial repository" | unknown | Wed, 10 Sep 2014 14:20:41 +0100 | zip gz bz2 |