aboutsummaryrefslogtreecommitdiff
path: root/math/elan
Commit message (Expand)AuthorAgeFilesLines
* lang/rust: Bump revisions after 1.87.0Mikael Urankar2025-06-051-0/+1
* math/elan: update 3.1.1 → 4.0.1Yuri Victorovich2025-04-213-540/+661
* lang/rust: Bump revisions after 1.86.0Mikael Urankar2025-04-081-1/+1
* lang/rust: Bump revisions after 1.85.0Mikael Urankar2025-02-241-1/+1
* lang/rust: Bump revisions after 1.84.0Mikael Urankar2025-01-201-1/+1
* lang/rust: Bump revisions after 1.83.0Mikael Urankar2024-12-011-1/+1
* 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
generated by cgit v1.3 (git 2.53.0) at 2026-09-02 12:31:34 +0000