aboutsummaryrefslogtreecommitdiff
path: root/math/elan
Commit message (Expand)AuthorAgeFilesLines
* lang/rust: Bump revisions after 1.82.0Mikael Urankar2024-11-081-1/+1
* lang/rust: Bump revisions after 1.81.0Mikael Urankar2024-09-101-1/+1
* */*: remove STRIP_CMD calls in rust based portsSiva Mahadevan2024-09-101-1/+0
* math/elan: Fix build with rust 1.80Mikael Urankar2024-09-071-0/+25
* lang/rust: Bump revisions after 1.80.1Mikael Urankar2024-08-261-1/+1
* lang/rust: Bump revisions after 1.79.0Mikael Urankar2024-06-181-1/+1
* lang/rust: Bump revisions after 1.78.0Mikael Urankar2024-05-131-1/+1
* lang/rust: Bump revisions after 1.77.0Mikael Urankar2024-03-231-0/+1
* math/elan: update 3.0.0 → 3.1.1Yuri Victorovich2024-02-232-5/+4
* lang/rust: Bump revisions after 1.76.0Mikael Urankar2024-02-191-0/+1
* math/elan: New port: Lean version managerYuri Victorovich2024-01-153-0/+732