mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-09 06:51:44 +00:00
math/minizinc: update 2.8.3 → 2.8.4
Reported by: portscout
This commit is contained in:
parent
9310f32f6d
commit
7a0a6bc8b9
@ -1,6 +1,5 @@
|
||||
PORTNAME= minizinc
|
||||
DISTVERSION= 2.8.3
|
||||
PORTREVISION= 1
|
||||
DISTVERSION= 2.8.4
|
||||
CATEGORIES= math lang
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
@ -16,7 +15,6 @@ LIB_DEPENDS= libCbc.so:math/cbc \
|
||||
libCgl.so:math/cgl \
|
||||
libCoinUtils.so:math/coinutils \
|
||||
libgecodekernel.so:math/gecode \
|
||||
libhighs.so:math/highs \
|
||||
libOsi.so:math/osi \
|
||||
libOsiClp.so:math/clp
|
||||
|
||||
|
@ -1,3 +1,3 @@
|
||||
TIMESTAMP = 1706892856
|
||||
SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f
|
||||
SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275
|
||||
TIMESTAMP = 1716755167
|
||||
SHA256 (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 855c8e9765f95520c668a9d3bc78abd23dd652016bd8d384f2d94fe1931209b6
|
||||
SIZE (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 8040687
|
||||
|
@ -71,6 +71,8 @@ include/minizinc/solvers/MIP/MIP_solverinstance.hpp
|
||||
include/minizinc/solvers/MIP/MIP_wrap.hh
|
||||
include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh
|
||||
include/minizinc/solvers/MIP/MIP_xpress_wrap.hh
|
||||
include/minizinc/solvers/atlantis_solverfactory.hh
|
||||
include/minizinc/solvers/atlantis_solverinstance.hh
|
||||
include/minizinc/solvers/chuffed_solverfactory.hh
|
||||
include/minizinc/solvers/chuffed_solverinstance.hh
|
||||
include/minizinc/solvers/fzn_solverfactory.hh
|
||||
|
Loading…
Reference in New Issue
Block a user