| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cleanup plist | Antoine Brodin | 2014-11-13 | 1 | -3/+0 |
| * | math/alt-ergo: Update version 0.94 => 0.95.2 and support stage | John Marino | 2014-06-02 | 1 | -5/+7 |
| * | Add alt-ergo 0.94, an automatic theorem prover dedicated to program | Brendan Fabeny | 2011-12-21 | 1 | -0/+10 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |