ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 05:18:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: ocaml-mccs: Use HTTPS home page.

Browse source 
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2020-01-18 21:29:56 +01:00
parent ba11a8bdf4
commit 91c19e76a5
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/ocaml.scm
View file

@ -340,7 +340,7 @@ (define-public ocaml-mccs
"1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc"))))
(build-system dune-build-system)
(propagated-inputs `(("ocaml-cudf" ,ocaml-cudf)))
(home-page "http://www.i3s.unice.fr/~cpjm/misc/")
(home-page "https://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