Pascal Wittmann 57ec836416 aliceml: update version string		2015-05-20 18:06:18 +02:00
..
default.nix	aliceml: update version string	2015-05-20 18:06:18 +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