911f04257e
This regeneration is required as the new gitlab version changed the address and the directory the source files can be downloaded. This commit also applies some small fixes to make sure all ports using gitlab are buildable. Reviewed by: mat Approved by: portmgr Differential Revision: https://reviews.freebsd.org/D29628
5 lines
451 B
Text
5 lines
451 B
Text
TIMESTAMP = 1617891527
|
|
SHA256 (MiniZinc-MiniZincIDE-2.5.5_GH0.tar.gz) = 344363acd0190d056b4e5ca9ffe75d56e5e0cf3a26a968d1ede66b35891017c2
|
|
SIZE (MiniZinc-MiniZincIDE-2.5.5_GH0.tar.gz) = 799661
|
|
SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
|
|
SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217
|