diff options
| author | Matthias Fechner <mfechner@FreeBSD.org> | 2021-04-08 16:42:33 +0200 |
|---|---|---|
| committer | Matthias Fechner <mfechner@FreeBSD.org> | 2021-04-09 20:44:23 +0200 |
| commit | 911f04257e3175fca4e46c7d57bf5ca79767e209 (patch) | |
| tree | 713ce6bcb852765cd9b4e7cb1a3707c4a7ae130c /math/minizinc-ide | |
| parent | Fix downloading of packages hosted on gitlab. (diff) | |
Regenerate all distfiles using gitlab as source.
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
Diffstat (limited to 'math/minizinc-ide')
| -rw-r--r-- | math/minizinc-ide/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 4125cca2a8d5..057ed61b568f 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1616977346 +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) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c -SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296 +SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128 +SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217 |