nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-11 15:34:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
312,313 Commits 173 Branches 125 Tags 7.1 GiB
0ad5158d6b
Commit Graph

1 Commits

Author SHA1 Message Date
Ben Siraphob
9fd32c9121 coqPackages.itauto: init at 8.13+no 2021-07-01 21:46:19 +07:00