at 23.11-beta 29 lines 687 B view raw
1{ lib, fetchFromGitHub, buildDunePackage, cudf }: 2 3buildDunePackage rec { 4 pname = "mccs"; 5 version = "1.1+13"; 6 7 src = fetchFromGitHub { 8 owner = "AltGr"; 9 repo = "ocaml-mccs"; 10 rev = version; 11 sha256 = "sha256-K249E9qkWNK4BC+ynaR3bVEyu9Tk8iCE7GptKk/aVJc="; 12 }; 13 14 useDune2 = true; 15 16 propagatedBuildInputs = [ 17 cudf 18 ]; 19 20 doCheck = true; 21 22 meta = with lib; { 23 description = "A library providing a multi criteria CUDF solver, part of MANCOOSI project."; 24 downloadPage = "https://github.com/AltGr/ocaml-mccs"; 25 homepage = "https://www.i3s.unice.fr/~cpjm/misc/"; 26 license = with licenses; [ lgpl21 gpl3 ]; 27 maintainers = with maintainers; [ ]; 28 }; 29}