mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-01 05:45:45 +00:00
6 lines
451 B
Plaintext
6 lines
451 B
Plaintext
TIMESTAMP = 1606631072
|
|
SHA256 (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 98f7a333152b8783650e8f973816abe0ea2945ce250781b1b0da51d728daa4b3
|
|
SIZE (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 798423
|
|
SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c
|
|
SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296
|