coqPackages.unimath: new expression

pkgs/development/coq-modules/unimath/default.nix

@@ -0,0 +1,26 @@
+{stdenv, fetchgit, coq}:
+
+stdenv.mkDerivation rec {
+
+  name = "coq-unimath-${coq.coq-version}-${version}";
+  version = "a2714eca";
+
+  src = fetchgit {
+    url = git://github.com/UniMath/UniMath.git;
+    rev = "a2714eca29444a595cd280ea961ec33d17712009";
+    sha256 = "0brhbslx4sxl8m9nxjbdl91gi99vcrikykl6b00f4cx5ww43csln";
+  };
+
+  buildInputs = [ coq.ocaml coq.camlp5 ];
+  propagatedBuildInputs = [ coq ];
+
+  installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
+
+  meta = with stdenv.lib; {
+    homepage = https://github.com/UniMath/UniMath;
+    description = "UniMath aims to formalize a substantial body of mathematics using the univalent point of view.";
+    maintainers = with maintainers; [ jwiegley ];
+    platforms = coq.meta.platforms;
+  };
+
+}

pkgs/top-level/all-packages.nix

@@ -12037,6 +12037,8 @@ let
 
     tlc = callPackage ../development/coq-modules/tlc {};
 
+    unimath = callPackage ../development/coq-modules/unimath {};
+
     ynot = callPackage ../development/coq-modules/ynot {};
 
   };