nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 22:53:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
162,671 Commits 203 Branches 125 Tags 8.8 GiB
44b02b52ea
Commit Graph

1 Commits

Author SHA1 Message Date
John Wiegley
3c4c4ff051
coqPackages.Velisarios: New expression 2018-10-23 17:09:35 -07:00