Thu, 20 Feb 2025 17:13:44 UTC | login

Information for RPM ocaml-mccs-1.1-30.11.fc33.1.rvre0.src.rpm

ID781355
Nameocaml-mccs
Version1.1
Release30.11.fc33.1.rvre0
Epoch
Archsrc
SummaryMulti Criteria CUDF Solver with OCaml bindings
Descriptionmccs (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project. This project contains a stripped-down version of the mccs solver, taken from snapshot 1.1, with a binding as an OCaml library, and building with dune. The binding enables interoperation with binary CUDF data from the OCaml CUDF library, and removes the native C++ parsers and printers.
Build Time2021-04-25 07:37:07 GMT
Size996.67 KB
29101960a7192183cf0ee536d9049cde
LicenseBSD and LGPLv3+ with exceptions
Buildrootf33-build-597434-66913
Provides
ocaml-mccs = 1.1-30.11.fc33.1.rvre0
ocaml-mccs-debuginfo = 1.1-30.11.fc33.1.rvre0
ocaml-mccs-debugsource = 1.1-30.11.fc33.1.rvre0
ocaml-mccs-devel = 1.1-30.11.fc33.1.rvre0
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc
gcc-c++
glpk-devel
ocaml
ocaml-cudf-devel
ocaml-dune
ocaml-findlib-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
ocaml-mccs-1.1-11.tar.gz984.53 KB
ocaml-mccs-1.1-c++-flags.patch295.00 B
ocaml-mccs-gcc11.patch484.00 B
ocaml-mccs.spec6.01 KB
Component of No Buildroots