nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-29 08:14:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
323,460 Commits 196 Branches 125 Tags 7.1 GiB
c46e938f6a
Commit Graph

2 Commits

Author SHA1 Message Date
ajs124
3f7b8b9eac emacs.pkgs.agda2-mode: fix 2021-09-17 14:35:18 +02:00
AndersonTorres
f91dce387a emacsPackages.agda2-mode: extract from manual-packages.nix 2021-09-15 14:27:26 -03:00