3 lines
193 B
Text
3 lines
193 B
Text
TIMESTAMP = 1616977123
|
|
SHA256 (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = c6c81fa8bdc2d7f8c8d851e5a4b936109f5d996abd8c6f809539f753581c6288
|
|
SIZE (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = 12593468
|