nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 16:33:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
710,997 Commits 249 Branches 124 Tags 7.5 GiB
455bf7ad57
Commit Graph

3 Commits

Author SHA1 Message Date
Felix Buehler
3df56ed3e4 idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Imuli
a6e17d6f11 idrisPackages.quantities: init at 2018-04-17 2018-08-04 23:10:43 -04:00