aboutsummaryrefslogtreecommitdiff
path: root/math/mathlibtools
Commit message (Expand)AuthorAgeFilesLines
* devel/py-pygithub: Rename port to match upstreamMuhammad Moinur Rahman2024-01-061-1/+1
* all: remove explicit versions in USES=python for "3.x+"Rene Ladan2023-06-271-1/+1
* *: Bump PORTREVISIONs for math/mpc update to 1.3.1Gerald Pfeifer2023-04-231-0/+1
* */*: rename CHEESESHOP to PYPI in MASTER_SITESDmitry Marakasov2023-01-111-1/+1
* math/mathlibtools: Update 1.1.2 -> 1.2.0Yuri Victorovich2022-11-052-4/+4
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/mathlibtools: New port: Lean prover mathlib supporting toolsYuri Victorovich2022-09-063-0/+37