Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
686 B · 38 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839{ lib, mkCoqDerivation, coq, ITree, simple-io, version ? null,}:
mkCoqDerivation { pname = "itree-io"; repo = "coq-itree-io"; owner = "Lysxia"; inherit version;
defaultVersion = let case = case: out: { inherit case out; }; inherit (lib.versions) range; in lib.switch coq.coq-version [ (case (range "8.12" "8.19") "0.1.1") ] null; release = { "0.1.1".sha256 = "sha256-IFwIj8dxW4jm2gvuUJ8LKZFSJeljp0bsn8fezxY6t2o="; }; releaseRev = v: "v${v}";
propagatedBuildInputs = [ ITree simple-io ];
meta = { description = "Interpret itree in the IO monad of simple-io"; license = lib.licenses.mit; };}