This website requires JavaScript.
Explore
Sign In
openbsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
mirror of
https://github.com/openbsd/ports.git
synced
2026-06-18 23:44:01 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
d65a467cf6f26434911c7afda170ac27228a1aa5
ports
/
math
/
lean
/
pkg
T
History
…
..
DESCR
…
PLIST
…