* Moved to new version scheme * Moved make/make install out of variables * Split into separate lib and dev packages * Removed usr/share/info/dir
Description
No description provided
Languages
Makefile
89.8%
Standard ML
10.2%