parent
3d059335bd
commit
7ee513fddf
@ -0,0 +1,19 @@ |
||||
{ trivialBuild |
||||
, ott |
||||
, haskellPackages |
||||
}: |
||||
|
||||
trivialBuild { |
||||
pname = "ott-mode"; |
||||
|
||||
inherit (ott) src version; |
||||
|
||||
postUnpack = '' |
||||
mv $sourceRoot/emacs/ott-mode.el $sourceRoot |
||||
''; |
||||
|
||||
meta = { |
||||
description = "Emacs ott mode (from ott sources)"; |
||||
inherit (haskellPackages.Agda.meta) homepage license; |
||||
}; |
||||
} |
Loading…
Reference in new issue