TIMESTAMP = 1594926953
SHA256 (vprover-vampire-4.5.1_GH0.tar.gz) = f7bf491a2576a7fc6551eabf37763b2b6ffd36e87ad660ff191dcd88a8969ae7
SIZE (vprover-vampire-4.5.1_GH0.tar.gz) = 1834216