| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/lean4: update 4.5.0-rc1 → 4.5.0 | Yuri Victorovich | 2024-02-01 | 2 | -5/+4 |
| * | math/lean4: Broken on i386 | Yuri Victorovich | 2024-01-19 | 1 | -0/+2 |
| * | math/lean4: Remove std library: it will be in its own port | Yuri Victorovich | 2024-01-16 | 3 | -941/+2 |
| * | math/lean4: Add Std4 library | Yuri Victorovich | 2024-01-15 | 3 | -1/+941 |
| * | math/lean4: New port: Theorem prover and functional language for math (new gen) | Yuri Victorovich | 2024-01-14 | 11 | -0/+2442 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |