nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:23:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
584,103 Commits 188 Branches 125 Tags 7.7 GiB
b77dcf4628
Commit Graph

2 Commits

Author SHA1 Message Date
Mathew Polzin
f3c916f909 idris2: add mattpolzin as a maintainer 2024-01-15 18:20:58 -06:00
Mathew Polzin
d7a058e6f7 idris2: add api package and buildIdris helper 2024-01-15 18:19:52 -06:00