Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/spot: Add USES=charsetfix, remove RM for lib/charset.alias | Yuri Victorovich | 2018-08-10 | 1 | -2/+2 |
* | New port: math/spot: Library for omega automata manipulation and model checking | Yuri Victorovich | 2018-08-04 | 4 | -0/+255 |