[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35150] [PATCH 7/9] gnu: Add ocaml-mccs.
From: |
Julien Lepiller |
Subject: |
[bug#35150] [PATCH 7/9] gnu: Add ocaml-mccs. |
Date: |
Thu, 4 Apr 2019 21:16:36 +0200 |
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
---
gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++
1 file changed, 28 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 263a318e58..04d5a84d1a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -363,6 +363,34 @@ Software distribution.")
;; With static-linking exception
(license license:lgpl2.1+)))
+(define-public ocaml-mccs
+ (package
+ (name "ocaml-mccs")
+ (version "1.1+9")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/AltGr/ocaml-mccs")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc"))))
+ (build-system dune-build-system)
+ (propagated-inputs `(("ocaml-cudf" ,ocaml-cudf)))
+ (home-page "http://www.i3s.unice.fr/~cpjm/misc/")
+ (synopsis "Upgrade path problem solver")
+ (description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver.
+Mccs take as input a CUDF problem and computes the best solution according to
+a set of criteria. It relies on a Integer Programming solver or a
+Pseudo Boolean solver to achieve its task. Mccs can use a wide set of
+underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.")
+ (license (list
+ license:bsd-3
+ license:gpl3+
+ ;; With static-linking exception
+ license:lgpl2.1+))))
+
(define-public ocaml-opam-file-format
(package
(name "ocaml-opam-file-format")
--
2.21.0
- [bug#35150] [PATCH] Unbundle opam dependencies, Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 1/9] import: opam: Add more patterns to opam file parser., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 2/9] import: opam: Use dune-build-system when possible., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 3/9] gnu: Add ocaml-opam-file-format., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 4/9] gnu: ocaml-cmdliner: Update to 1.0.3., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 6/9] gnu: Add ocaml-cudf., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 7/9] gnu: Add ocaml-mccs.,
Julien Lepiller <=
- [bug#35150] [PATCH 5/9] gnu: Add ocaml-extlib., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 9/9] gnu: opam: Unbundle dependencies., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 8/9] gnu: Add ocaml-dose3., Julien Lepiller, 2019/04/04
- [bug#35150] [PATCH 1/9] import: opam: Add more patterns to opam file parser., Ludovic Courtès, 2019/04/10
- [bug#35150] [PATCH] Unbundle opam dependencies, Ludovic Courtès, 2019/04/10