Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove expired ports: | Rene Ladan | 2019-09-01 | 1 | -2/+0 |
* | - Update pure to 0.51 and update modules | Pav Lucistnik | 2012-01-26 | 1 | -2/+2 |
* | pure-rational provides additional operations on the rational number type | Eitan Adler | 2011-10-15 | 1 | -0/+2 |