aboutsummaryrefslogtreecommitdiff
path: root/math/elan/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/elan: update 4.0.1 → 4.1.2Yuri Victorovich7 days1-2/+2
* lang/rust: Bump revisions after 1.92.0Mikael Urankar2025-12-161-1/+1
* lang/rust: Bump revisions after 1.91.1Mikael Urankar2025-11-111-1/+1
* lang/rust: Bump revisions after 1.90.0Mikael Urankar2025-10-031-1/+1
* lang/rust: Bump revisions after 1.89.0Mikael Urankar2025-09-011-1/+1
* lang/rust: Bump revisions after 1.88.0Mikael Urankar2025-07-031-1/+1
* lang/rust: Bump revisions after 1.87.0Mikael Urankar2025-06-051-0/+1
* math/elan: update 3.1.1 → 4.0.1Yuri Victorovich2025-04-211-172/+220
* 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
* 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-231-2/+1
* lang/rust: Bump revisions after 1.76.0Mikael Urankar2024-02-191-0/+1
* math/elan: New port: Lean version managerYuri Victorovich2024-01-151-0/+262
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-12 07:54:51 +0000