summaryrefslogtreecommitdiff
path: root/math/elan (follow)
Commit message (Expand)AuthorAgeFilesLines
* lang/rust: Bump revisions after 1.78.0Mikael Urankar12 days1-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