|
|
|
|
@ -32,7 +32,7 @@ Class: EVAL
|
|
|
|
|
Group: Language |
|
|
|
|
License: BSD |
|
|
|
|
Version: 2.4.2 |
|
|
|
|
Release: 20200110 |
|
|
|
|
Release: 20200111 |
|
|
|
|
|
|
|
|
|
# list of sources |
|
|
|
|
Source0: https://github.com/MiniZinc/libminizinc/archive/%{version}.tar.gz |
|
|
|
|
@ -43,7 +43,9 @@ BuildPreReq: OpenPKG, openpkg >= 20160101, gcc, gcc::with_cxx = yes, flex, biso
|
|
|
|
|
PreReq: OpenPKG, openpkg >= 20160101 |
|
|
|
|
BuildPreReq: mpfr |
|
|
|
|
PreReq: mpfr |
|
|
|
|
PreReq: gecode, chuffed |
|
|
|
|
BuildPreReq: gecode |
|
|
|
|
PreReq: gecode |
|
|
|
|
PreReq: chuffed |
|
|
|
|
|
|
|
|
|
%description |
|
|
|
|
MiniZinc is a medium-level constraint modelling language. It is |
|
|
|
|
|
