emacs.pkgs.agda-input: Fix syntax error
This commit is contained in:
parent
610ceb54e3
commit
2a79244302
1 changed files with 1 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
|||
{ trivialBuild
|
||||
, haskellPackages
|
||||
}
|
||||
}:
|
||||
|
||||
trivialBuild {
|
||||
pname = "agda-input";
|
||||
|
|
Loading…
Reference in a new issue