Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2018-12-12 | 1 | -1/+1 |
* | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2018-07-29 | 1 | -0/+1 |
* | Adjust USES to fix building on gcc-based archs (in particular, powerpc64). | Mark Linimon | 2018-06-02 | 1 | -1/+1 |
* | New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses | Yuri Victorovich | 2018-02-03 | 1 | -0/+27 |