[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/04: gnu: ocaml-mccs: Adjust indentation.
From: |
guix-commits |
Subject: |
02/04: gnu: ocaml-mccs: Adjust indentation. |
Date: |
Sun, 12 Jan 2020 23:24:40 -0500 (EST) |
brettgilio pushed a commit to branch wip-ocaml4.09
in repository guix.
commit f355a71739d5eb5a1b68df196aa2ae73de56c642
Author: Brett Gilio <address@hidden>
AuthorDate: Sun Jan 12 22:16:46 2020 -0600
gnu: ocaml-mccs: Adjust indentation.
* gnu/packages/ocaml.scm (ocaml-mccs): Adjust indentation.
---
gnu/packages/ocaml.scm | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index fa0186e..cdf00e3 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -330,8 +330,8 @@ Software distribution.")
(source (origin
(method git-fetch)
(uri (git-reference
- (url "https://github.com/AltGr/ocaml-mccs")
- (commit version)))
+ (url "https://github.com/AltGr/ocaml-mccs.git")
+ (commit version)))
(file-name (git-file-name name version))
(sha256
(base32
@@ -346,10 +346,10 @@ 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+))))
+ license:bsd-3
+ license:gpl3+
+ ;; With static-linking exception
+ license:lgpl2.1+))))
(define-public ocaml-dose3
(package