Joachim Fasting ad902fbba1 aliceml: mark as broken ... Tried fixing it, but gave up ... Has likely been non-functional for a while, without anybody noticing.		2017-03-30 13:52:23 +02:00
..
default.nix	aliceml: mark as broken	2017-03-30 13:52:23 +02:00
make.patch	Update aliceml to use git version of Alice ML	2014-11-18 01:05:42 +13:00
seam.patch	Update aliceml to use git version of Alice ML	2014-11-18 01:05:42 +13:00