v1.12-2
* added BRIEF * moved to new version scheme * moved make and make install out of variables * split off separate dev package * fixed patch loop
Description
No description provided
Languages
Makefile
93.3%
Standard ML
6.7%