openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-17 23:13:55 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
1b400a076d52d9340447bc2d0a8ee32f6cd950ee
ports/math/lean
T
History
tb 5514f21fef Update to lean 3.48.0
2022-08-31 14:13:50 +00:00
..
patches
…
pkg
…
distinfo
Update to lean 3.48.0
2022-08-31 14:13:50 +00:00
Makefile
Update to lean 3.48.0
2022-08-31 14:13:50 +00:00