| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 8 days | lean4: 4.8.0 -> 4.9.0 | R. Ryantm | 1 | -2/+2 |
| 2024-06-17 | lean4: 4.7.0 -> 4.8.0 | LuoChen | 1 | -2/+2 |
| 2024-04-24 | maintainers: drop marsam | Mario Rodas | 1 | -1/+1 |
| 2024-04-03 | lean4: 4.6.1 -> 4.7.0 | Mario Rodas | 1 | -2/+2 |
| 2024-03-11 | llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into... | a-n-n-a-l-e-e | 1 | -5/+0 |
| 2024-03-04 | lean4: 4.6.0 -> 4.6.1 | Mario Rodas | 1 | -2/+2 |
| 2024-02-28 | lean4: 4.5.0 -> 4.6.0 | Mario Rodas | 1 | -2/+2 |
| 2024-02-01 | lean4: add version tester | Mario Rodas | 1 | -5/+12 |
| 2024-02-01 | lean4: 4.4.0 -> 4.5.0 | Mario Rodas | 1 | -2/+2 |
| 2023-12-26 | Merge pull request #276940 from tejing1/cleanup-lean4 | Mario Rodas | 1 | -0/+1 |
| 2023-12-26 | lean4: clean up colliding files | Jeff Huffman | 1 | -0/+1 |
| 2023-12-22 | lean4: 4.3.0 -> 4.4.0 | R. Ryantm | 1 | -2/+2 |
| 2023-11-29 | lean4: 4.2.0 -> 4.3.0 | Mario Rodas | 1 | -2/+2 |
| 2023-11-23 | lean4: fix build on darwin | Mario Rodas | 1 | -0/+5 |
| 2023-10-30 | lean4: 4.1.0 -> 4.2.0 | Mario Rodas | 1 | -2/+2 |
| 2023-09-26 | lean4: 4.0.0 -> 4.1.0 | Mario Rodas | 1 | -2/+2 |
| 2023-06-02 | lean4: init at 4.0.0 | Mario Rodas | 1 | -0/+60 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |