Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 6c6276c8aa88
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: e5340bb5ef15
Choose a head ref
  • 1 commit
  • 2 files changed
  • 1 contributor

Commits on Aug 7, 2019

  1. ocaml-minisat: init at 0.2

    @mgttlinger @vbgl
    mgttlinger authored and vbgl committed Aug 7, 2019
    Copy the full SHA
    e5340bb View commit details
Showing with 24 additions and 0 deletions.
  1. +22 −0 pkgs/development/ocaml-modules/minisat/default.nix
  2. +2 −0 pkgs/top-level/ocaml-packages.nix
22 changes: 22 additions & 0 deletions pkgs/development/ocaml-modules/minisat/default.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ lib, buildDunePackage, fetchFromGitHub }:

buildDunePackage rec {
pname = "minisat";
version = "0.2";

minimumOCamlVersion = "4.05";

src = fetchFromGitHub {
owner = "c-cube";
repo = "ocaml-minisat";
rev = version;
sha256 = "1jibylmb1ww0x42n6wl8bdwicaysgxp0ag244x7w5m3jifq3xs6q";
};

meta = {
homepage = https://c-cube.github.io/ocaml-minisat/;
description = "Simple bindings to Minisat-C";
license = lib.licenses.bsd2;
maintainers = with lib.maintainers; [ mgttlinger ];
};
}
2 changes: 2 additions & 0 deletions pkgs/top-level/ocaml-packages.nix
View file
Original file line number Diff line number Diff line change
@@ -444,6 +444,8 @@ let

mezzo = callPackage ../development/compilers/mezzo { };

minisat = callPackage ../development/ocaml-modules/minisat { };

mlgmp = callPackage ../development/ocaml-modules/mlgmp { };

mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { };