Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | devel/py-pygithub: Rename port to match upstream | Muhammad Moinur Rahman | 2024-01-06 | 1 | -1/+1 |
* | all: remove explicit versions in USES=python for "3.x+" | Rene Ladan | 2023-06-27 | 1 | -1/+1 |
* | *: Bump PORTREVISIONs for math/mpc update to 1.3.1 | Gerald Pfeifer | 2023-04-23 | 1 | -0/+1 |
* | */*: 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 |