mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 21:37:48 +03:00
parent
0749165245
commit
4e3f652c6f
@ -22,10 +22,6 @@
|
|||||||
packages = rec {
|
packages = rec {
|
||||||
idris2 = idris2Pkg;
|
idris2 = idris2Pkg;
|
||||||
} // text-editor;
|
} // text-editor;
|
||||||
apps = rec {
|
|
||||||
type = "app";
|
|
||||||
emacs-dev = text-editor.emacs-dev;
|
|
||||||
};
|
|
||||||
buildIdris = buildIdrisPkg;
|
buildIdris = buildIdrisPkg;
|
||||||
defaultPackage = packages.idris2;
|
defaultPackage = packages.idris2;
|
||||||
} else {}) // rec {
|
} else {}) // rec {
|
||||||
|
Loading…
Reference in New Issue
Block a user