mirror of
https://github.com/openbsd/ports.git
synced 2026-06-17 23:13:55 +02:00
tb
3 lines
111 B
Plaintext
3 lines
111 B
Plaintext
SHA256 (lean-3.48.0.tar.gz) = B+QrWwQIJbb8KzIHhFQeHcyU0YnbHvn1FXPsPq7HRyc=
|
|
SIZE (lean-3.48.0.tar.gz) = 1918012
|