4 lines
194 B
Plaintext
4 lines
194 B
Plaintext
TIMESTAMP = 1789665306
|
|
SHA256 (Gecode-gecode-release-6.4.0_GH0.tar.gz) = 4cc0e4f440f821a643e637801094cd42ccb5946caf5248c905f29f5f3a16f260
|
|
SIZE (Gecode-gecode-release-6.4.0_GH0.tar.gz) = 5760095
|