distinfo « z3 « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/z3/distinfo

blob: 13cb429023d9aaedb21269f13037ec3f017145a6 (plain) (blame)

1
2
3

TIMESTAMP = 1742299618
SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426