3 lines
178 B
Text
3 lines
178 B
Text
TIMESTAMP = 1567051355
|
|
SHA256 (vprover-vampire-4.4_GH0.tar.gz) = 43f09743a3a505ec8d8ac6fb60420915d56c4164be3caab728d7856a4f2ace8d
|
|
SIZE (vprover-vampire-4.4_GH0.tar.gz) = 1748193
|