From a09187a3f95ab6e86976127bcdfbf5db45f85270 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 17 Oct 2017 11:13:36 +0200
Subject: Add distributions to clean.html

---
 resources/pug/finals/clean.pug | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'resources/pug/finals')

diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug
index ce25e4d..4bac9de 100644
--- a/resources/pug/finals/clean.pug
+++ b/resources/pug/finals/clean.pug
@@ -27,7 +27,6 @@ block content
 
 	h2 Tools
 	ul
-		+item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images')
 		+githubItem('camilstaps', 'iClean', 'interactive shell')
 		+item('https://cloogle.org', 'Cloogle', 'search engine')
 
@@ -42,6 +41,14 @@ block content
 		+githubItem('timjs', 'atom-language-clean', 'Atom highlighting support')
 		+githubItem('W95Psp', 'CleanForVSCode', 'an extension for VSCode')
 
+	h2 Distributions
+	ul
+		+item('ftp://ftp.cs.ru.nl/pub/Clean/builds/', 'ftp.cs.ru.nl/pub/Clean/builds/', 'official nightlies')
+		+item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images')
+		+item('https://files.martlubbers.net/clean/', 'files.martlubbers.net/clean', 'nightlies with memory')
+		+item('https://ftp.cs.ru.nl/Clean/Clean24/', 'ftp.cs.ru.nl/Clean/Clean24', 'the official Clean 2.4 distribution')
+		+item('https://ftp.cs.ru.nl/Clean/nightly/', 'ftp.cs.ru.nl/Clean/nightly', 'some older iTasks distributions')
+
 	h2 Homework
 	ul
 		li
-- 
cgit v1.2.3