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

   1 { lib, mkCoqDerivation, coq, version ? null }:
   2
   3 mkCoqDerivation {
   4   pname = "LibHyps";
   5   owner = "Matafou";
   6   inherit version;
   7   defaultVersion = if (lib.versions.range "8.11" "8.19") coq.version then "2.0.8" else null;
   8   release = {
   9     "2.0.8".sha256 = "sha256-u8T7ZWfgYNFBsIPss0uUS0oBvdlwPp3t5yYIMjYzfLc=";
  10   };
  11
  12   configureScript = "./configure.sh";
  13
  14   releaseRev = (v: "libhyps-${v}");
  15
  16   meta = {
  17     description = "Hypotheses manipulation library";
  18     license = lib.licenses.mit;
  19   };
  20 }