nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-07 14:23:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
54,319 Commits 201 Branches 125 Tags 7.3 GiB
d7ab16aee4
Commit Graph

2 Commits

Author SHA1 Message Date
John Wiegley
904bee0c46 coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions 2014-10-11 17:24:59 -05:00
John Wiegley
814961f37a coqPackages.tlc: new expression 2014-10-11 13:29:45 -05:00