Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
692 B · 39 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940{ lib, mkRocqDerivation, stdlib, rocq-core, version ? null,}:
with lib;mkRocqDerivation { pname = "parseque"; repo = "parseque"; owner = "rocq-community";
inherit version; defaultVersion = with versions; switch [ rocq-core.rocq-version ] [ { cases = [ (range "9.0" "9.0") ]; out = "0.3.0"; } ] null;
release."0.3.0".sha256 = "sha256-W2eenv5Q421eVn2ubbninFmmdT875f3w/Zs7yGHUKP4=";
propagatedBuildInputs = [ stdlib ];
releaseRev = v: "v${v}";
meta = { description = "Total parser combinators in Rocq"; maintainers = with maintainers; [ womeier ]; license = licenses.mit; };}