| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/lean4: update 4.25.2 → 4.25.2.20251201 | Yuri Victorovich | 2025-12-02 | 5 | -147/+564 |
| * | math/lean4: update 4.25.1 → 4.25.2 | Yuri Victorovich | 2025-11-25 | 2 | -5/+5 |
| * | math/lean4: Update patches | Yuri Victorovich | 2025-11-25 | 6 | -36/+15 |
| * | math/lean4: update 4.23.0 → 4.25.1 | Yuri Victorovich | 2025-11-24 | 9 | -309/+1603 |
| * | math/lean4: update 4.22.0 → 4.23.0 | wen | 2025-09-25 | 3 | -27/+3963 |
| * | math/lean4: Broken on 13 | Yuri Victorovich | 2025-09-08 | 1 | -0/+1 |
| * | math/lean4: Update to 4.22.0 | Wen Heping | 2025-08-22 | 3 | -61/+1475 |
| * | math/cadical: update 2.0.0 → 2.1.3 | Yuri Victorovich | 2025-06-19 | 1 | -0/+1 |
| * | math/lean4: update 4.20.0 → 4.20.1 | Yuri Victorovich | 2025-06-05 | 2 | -4/+4 |
| * | math/lean4: update 4.20.0-rc5 → 4.20.0 | Yuri Victorovich | 2025-06-04 | 3 | -7/+6 |
| * | math/lean4: update 4.12.0 → 4.20.0.r5 | Yuri Victorovich | 2025-05-09 | 13 | -140/+2016 |
| * | math/lean4: update 4.11.0 → 4.12.0 | Yuri Victorovich | 2024-10-03 | 3 | -13/+458 |
| * | math/lean4: Remove pkg-message since both recommendations there aren't releva... | wen heping | 2024-09-25 | 2 | -22/+12 |
| * | math/lean4: update 4.10.0 → 4.11.0 | Yuri Victorovich | 2024-09-02 | 3 | -13/+215 |
| * | math/lean4: update 4.9.1 → 4.10.0 | Yuri Victorovich | 2024-08-01 | 3 | -19/+62 |
| * | math/lean4: update 4.9.0 → 4.9.1 | Yuri Victorovich | 2024-07-10 | 2 | -4/+4 |
| * | math/lean4: update 4.8.0 → 4.9.0 | Wen Heping | 2024-07-06 | 3 | -12/+87 |
| * | math/lean4: update 4.7.0 → 4.8.0 | Yuri Victorovich | 2024-06-07 | 3 | -20/+206 |
| * | math/lean4: Broken on armv7 | Yuri Victorovich | 2024-05-06 | 1 | -0/+1 |
| * | math/lean4: update 4.6.0 → 4.7.0 | Yuri Victorovich | 2024-04-13 | 5 | -23/+306 |
| * | math/lean4: update 4.5.0 → 4.6.0 | Yuri Victorovich | 2024-02-27 | 3 | -7/+34 |
| * | 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 |