BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

emacs/agda2-mode: deprecate phases (#133523)

Browse source
This commit is contained in:
Felix Bühler 2021-08-17 15:00:12 +02:00 committed by GitHub
parent 3bb2af26e8
commit 7f972a2f95
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/editors/emacs/elisp-packages/manual-packages.nix
View file

@ -46,7 +46,7 @@
pname = "agda-mode"; pname = "agda-mode";
version = pkgs.haskellPackages.Agda.version; version = pkgs.haskellPackages.Agda.version;
phases = [ "buildPhase" "installPhase" ]; dontUnpack = true;
# already byte-compiled by Agda builder # already byte-compiled by Agda builder
buildPhase = '' buildPhase = ''