Yuri Victorovich 665049061e misc/lean-ctx: update 3.8.7 → 3.8.8

2026-06-17 08:28:56 -07:00

..

files

misc/lean-ctx: update 3.2.3 → 3.2.5

2026-04-18 13:58:23 -07:00

distinfo

misc/lean-ctx: update 3.8.7 → 3.8.8

2026-06-17 08:28:56 -07:00

Makefile

misc/lean-ctx: update 3.8.7 → 3.8.8

2026-06-17 08:28:56 -07:00

pkg-descr

…

pkg-message

misc/lean-ctx: update 3.2.5 → 3.2.7

2026-04-19 10:49:33 -07:00