| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | */*: rename CHEESESHOP to PYPI in MASTER_SITES | Dmitry Marakasov | 2023-01-11 | 1 | -1/+1 |
| * | math/mathlibtools: Update 1.1.2 -> 1.2.0 | Yuri Victorovich | 2022-11-05 | 2 | -4/+4 |
| * | Remove WWW entries moved into port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -2/+0 |
| * | Add WWW entries to port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -0/+1 |
| * | math/mathlibtools: New port: Lean prover mathlib supporting tools | Yuri Victorovich | 2022-09-06 | 3 | -0/+37 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |