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

summary refs log tree commit diff

path: root/math/boolector/distinfo

blob: 2c57e639c6f0d7ef500fbb99bfe9893e3bab2e97 (plain) (blame)

1
2
3

TIMESTAMP = 1724577355
SHA256 (Boolector-boolector-3.2.4_GH0.tar.gz) = 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf
SIZE (Boolector-boolector-3.2.4_GH0.tar.gz) = 1567983