3 lines
182 B
Text
3 lines
182 B
Text
TIMESTAMP = 1594926953
|
|
SHA256 (vprover-vampire-4.5.1_GH0.tar.gz) = f7bf491a2576a7fc6551eabf37763b2b6ffd36e87ad660ff191dcd88a8969ae7
|
|
SIZE (vprover-vampire-4.5.1_GH0.tar.gz) = 1834216
|