4 commits

Author	SHA1	Message	Date
eta	8fc623bb1c	get ironclad from github	2020-07-06 13:28:10 +01:00
eta	677bbc6748	actually update quicklisp (docker caching sucks btw)	2020-07-02 18:27:43 +01:00
eta	38e79749a8	Dockerfile: reduce size, fix entrypoint	2020-06-19 09:23:57 +01:00
eta	f0612e6613	dockerfile	2020-04-29 22:17:18 +01:00