Unverified Commit c4a27cc8 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages.coqutil: 0.0.6 -> 0.0.7 (#449500)

parents 110a7d23 2a77d405

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

+19 −4
Original line number Diff line number Diff line 
{

  coq,

  findutils,

  lib,

  mkCoqDerivation,

  coq,

  stdlib,

  findutils,

  version ? null,

}:



mkCoqDerivation {

(mkCoqDerivation {

  pname = "coqutil";

  owner = "mit-plv";
@@ -14,6 +15,10 @@ mkCoqDerivation { 
  defaultVersion =

    with lib.versions;

    lib.switch coq.version [

      {

        case = isGe "9.0";

        out = "0.0.7";

      }

      {

        case = range "8.18" "8.20";

        out = "0.0.6";
@@ -25,14 +30,24 @@ mkCoqDerivation { 
    ] null;



  releaseRev = v: "v${v}";

  release."0.0.7".sha256 = "sha256-A5QDQscZ9BUxxcGTI2RDYOKTZoCYexJQuGNl9i+Wt/g=";

  release."0.0.6".sha256 = "sha256-c/ddrj0ahuaj9Zu7YBqK7Q0ur+LK7Fgaa//nxQpQcm4=";

  release."0.0.5".sha256 = "sha256-vkZIAAr82GNuCGlCVRgSCj/nqIdD8FITBiX1a8fybqw=";



  nativeBuildInputs = [ findutils ];



  propagatedBuildInputs = [ ];



  meta = {

    description = "Coq library for tactics, basic definitions, sets, maps";

    license = lib.licenses.mit;

    maintainers = with lib.maintainers; [ stepbrobd ];

  };

}).overrideAttrs

  (

    o:

    lib.optionalAttrs (o.version != null && o.version != "dev" && lib.versionAtLeast o.version "0.0.7")

      {

        propagatedBuildInputs = o.propagatedBuildInputs ++ [ stdlib ];

      }

  )