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