aboutsummaryrefslogtreecommitdiff
path: root/math/leangz
Commit message (Expand)AuthorAgeFilesLines
* math/leangz: update 0.1.14 → 0.1.19Yuri Victorovich2026-03-172-82/+181
* math/leangz: update 0.1.13 → 0.1.14Yuri Victorovich2024-11-012-80/+84
* lang/rust: Bump revisions after 1.81.0Mikael Urankar2024-09-101-1/+1
* */*: remove STRIP_CMD calls in rust based portsSiva Mahadevan2024-09-101-3/+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-0/+1
* math/leangz: update 0.1.12 → 0.1.13Yuri Victorovich2024-06-152-4/+4
* math/leangz: update 0.1.11 → 0.1.12Yuri Victorovich2024-06-142-119/+103
* lang/rust: Bump revisions after 1.78.0Mikael Urankar2024-05-131-1/+1
* lang/rust: Bump revisions after 1.77.0Mikael Urankar2024-03-231-1/+1
* lang/rust: Bump revisions after 1.76.0Mikael Urankar2024-02-191-0/+1
* math/leangz: update 0.1.10 → 0.1.11Yuri Victorovich2024-01-292-7/+9
* math/leangz: New port: Lean 4 .olean file (de)compressorYuri Victorovich2024-01-163-0/+153
generated by cgit v1.3 (git 2.53.0) at 2026-05-19 13:16:50 +0000