nixpkgs/pkgs/development/ocaml-modules/ocplib-simplex/default.nix
Vincent Laporte 82aaf63703 alt-ergo: 2.4.3 → 2.5.1
ocamlPackages.ocplib-simplex: 0.4 → 0.5
2023-09-29 06:43:44 +02:00

25 lines
674 B
Nix

{ lib, fetchFromGitHub, buildDunePackage, logs, num }:
buildDunePackage rec {
pname = "ocplib-simplex";
version = "0.5";
src = fetchFromGitHub {
owner = "OCamlPro-Iguernlala";
repo = pname;
rev = "v${version}";
hash = "sha256-sy5QUmghG28tXlwbKWx3PpBGTtzXarTSzd1WLSYyvbc=";
};
propagatedBuildInputs = [ logs num ];
doCheck = true;
meta = {
description = "An OCaml library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities";
homepage = "https://github.com/OCamlPro-Iguernlala/ocplib-simplex";
license = lib.licenses.lgpl21Only;
maintainers = [ lib.maintainers.vbgl ];
};
}