Jan Tojnar ce90a304f1 aliceml: do not use aliases		2020-05-16 23:12:57 +02:00
..
default.nix	aliceml: do not use aliases	2020-05-16 23:12:57 +02:00
make.patch	…
seam.patch	…