Hi,
how to install stratego now, (it seems not to be any longer part of all-packages) i am looking for pp-aterm (part of it) to pretty print derivations
Jerzy
 
_______________________________________________
nix-dev mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Reply via email to