standardml/smackage Issues
"smackage refresh" failure
Closed 2Setting $SMACKAGE_HOME is broken.
Updated 6Reduce dependency on system commands
Updated 3Generalize config file stuff
Updated 4Basic support for FFI-relevant code
Updated 5Requiring smackspecs?
Closed 3Clean up temporary files
Closed 3Does this work in Windows?
Closed 8Transitive dependencies
Closed 1