aboutsummaryrefslogtreecommitdiff
path: root/math/yices/distinfo
blob: b6a44230e350af3488cb094d760677d298106bbe (plain) (blame) 
1
2
3

TIMESTAMP = 1643217873
SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb
SIZE (yices-2.6.4-src.tar.gz) = 10186909
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-22 23:41:09 +0000