ocaml-mccs-1.1.10-alt1.i586.rpm


Advertisement

Description

ocaml-mccs - Multi Criteria CUDF Solver with OCaml bindings

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename ocaml-mccs-1.1.10-alt1.i586.rpm
Package name ocaml-mccs
Package version 1.1.10
Package release alt1
Package architecture i586
Package type rpm
Category Development/ML
Homepage -
License -
Maintainer -
Download size 888.80 KB
Installed size 888.80 KB
mccs (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 jbuilder.
The binding enables interoperation with binary CUDF data from the
OCaml CUDF library, and removes the native C++ parsers and printers.

Alternatives

Package Version Architecture Repository
ocaml-mccs-1.1.10-alt1.x86_64.rpm 1.1.10 x86_64 Classic
ocaml-mccs - - -

Requires

Name Value
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1(GCC_3.0) -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.21) -
ocaml-cmi(CamlinternalFormatBasics) = 4.08-A2B1A9D8
ocaml-cmi(Cudf) = 4.08-386417DF
ocaml-cmi(Cudf_types) = 4.08-115413CA
ocaml-cmi(Stdlib) = 4.08-AD45F251
ocaml-cmi(Stdlib__buffer) = 4.08-35866FA9
ocaml-cmi(Stdlib__callback) = 4.08-DA1159C8
ocaml-cmi(Stdlib__lexing) = 4.08-CF953E94
ocaml-cmi(Stdlib__printf) = 4.08-B72A44ED
ocaml-cmi(Stdlib__seq) = 4.08-359C9551
ocaml-cmi(Stdlib__sys) = 4.08-13AA7B95
ocaml-cmi(Stdlib__uchar) = 4.08-DB24A5EB
ocaml-cmx(Cudf) = 4.08-8D4D404A
ocaml-cmx(Stdlib) = 4.08-24AE337E
ocaml-cmx(Stdlib__callback) = 4.08-8CD5D658
ocaml-cmx(Stdlib__printf) = 4.08-08E39649
ocaml-cmx(Stdlib__sys) = 4.08-EF249AAA
ocaml-runtime = 4.08
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -

Provides

Name Value
ocaml-cmi(Mccs) = 4.08-E614D7B1
ocaml-cmi(Ocaml_mccs_glpk) = 4.08-B12BC2F6
ocaml-cmx(Mccs) = 4.08-744FFADD
ocaml-cmx(Ocaml_mccs_glpk) = 4.08-DC2D3A09
ocaml-dll(mccs_glpk_stubs) -
ocaml-dll(mccs_stubs) -
ocaml-mccs = 1.1.10-alt1:sisyphus+235061.11500.23.1

Download

Type URL
Mirror ftp.altlinux.org
Binary Package ocaml-mccs-1.1.10-alt1.i586.rpm
Source Package ocaml-mccs-1.1.10-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install ocaml-mccs rpm package:
    # sudo apt-get install ocaml-mccs

Files

Path
/usr/lib/ocaml/mccs/META
/usr/lib/ocaml/mccs/mccs.cma
/usr/lib/ocaml/mccs/mccs.cmi
/usr/lib/ocaml/mccs/mccs.cmx
/usr/lib/ocaml/mccs/mccs.cmxs
/usr/lib/ocaml/mccs/opam
/usr/lib/ocaml/mccs/glpk/
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cma
/usr/lib/ocaml/mccs/glpk/internal/mccs_glpk.cmxs
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmi
/usr/lib/ocaml/mccs/glpk/internal/ocaml_mccs_glpk.cmx
/usr/lib/ocaml/stublibs/dllmccs_glpk_stubs.so
/usr/lib/ocaml/stublibs/dllmccs_stubs.so
/usr/share/doc/ocaml-mccs-1.1.10/LICENCE
/usr/share/doc/ocaml-mccs-1.1.10/README.md

Changelog

2019-08-02 - Anton Farygin <rider@altlinux.ru> 1.1.10-alt1
- 1.1.10
2019-03-13 - Anton Farygin <rider@altlinux.ru> 1.1.9-alt3
- rebuilt with dune-1.8
2019-01-20 - Anton Farygin <rider@altlinux.ru> 1.1.9-alt2
- fixed built with dune-1.6.4
2018-11-01 - Anton Farygin <rider@altlinux.ru> 1.1.9-alt1
- first build for ALT

See Also

Package Description
ocaml-mccs-devel-1.1.10-alt1.i586.rpm Development files for ocaml-mccs
ocaml-menhir-20190924-alt1.i586.rpm LR(1) parser generator for the OCaml programming language
ocaml-migrate-parsetree-1.4.0-alt1.i586.rpm Convert OCaml parsetrees between different major versions
ocaml-migrate-parsetree-devel-1.4.0-alt1.i586.rpm Development files for ocaml-migrate-parsetree
ocaml-mysql-1.2.2-alt5.i586.rpm MySQL bindings for OCaml
ocaml-mysql-runtime-1.2.2-alt5.i586.rpm MySQL bindings for OCaml
ocaml-num-1.2-alt1.i586.rpm Legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml-num-devel-1.2-alt1.i586.rpm Development files for ocaml-num
ocaml-oasis-0.4.11-alt2.i586.rpm Architecture for building OCaml libraries and applications
ocaml-oasis-devel-0.4.11-alt2.i586.rpm Development files for ocaml-oasis
ocaml-ocamlbrowser-8.06.6-alt1.i586.rpm OCaml interface browser
ocaml-ocamlbuild-0.14.0-alt1.i586.rpm The Objective Caml project compilation tool
ocaml-ocamlbuild-devel-0.14.0-alt1.i586.rpm Development files for ocaml-ocamlbuild
ocaml-ocamldoc-4.08.1-alt1.i586.rpm The Objective Caml documentation generator
ocaml-ocamlfuse-2.7.1-alt8.i586.rpm Ocaml FUSE binding
Advertisement
Advertisement