nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-06 04:03:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
714,025 Commits 200 Branches 125 Tags 5.9 GiB
8f6163d138
Commit Graph

6 Commits

Author SHA1 Message Date
Mathew Polzin
b09ba65a43 idris2Packages: run nixfmt 2024-09-13 03:35:23 -05:00
Stefan Frijters
96cc7aa0ba
idris2Packages.idris2Lsp: fix cross eval 2024-09-05 17:10:53 +02:00
Mathew Polzin
84cde749e6 idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest buildIdris changes 2024-06-23 11:24:29 -05:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary 
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
 2024-03-19 03:14:51 +01:00
Mathew Polzin
8082302cfa idris2Packages.idris2Lsp: Add metadata to derivation 2024-03-09 15:09:58 -06:00
Mathew Polzin
e9fa40dccd idris2Packages.idris2Lsp: init at 2024-01-21 2024-01-23 23:18:34 -06:00