nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

emacsPackages.agda2-mode: format using nixfmt-rfc-style

Browse Source
This commit is contained in:
Lin Jian 2024-07-18 04:17:50 +08:00
parent b60603aa3a
commit aeaafee692
No known key found for this signature in database
GPG Key ID: A6698D36434F75A5
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix
View File

@ -1,6 +1,4 @@
{ melpaBuild
, haskellPackages
}:
{ melpaBuild, haskellPackages }:
let
Agda = haskellPackages.Agda;
in
@ -15,4 +13,3 @@ melpaBuild {
description = "Agda2-mode for Emacs extracted from Agda package";
};
}