mirror/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-29 23:52:55 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
51,629 Commits 217 Branches 122 Tags 10 GiB
4a58f4da53
Commit Graph

1 Commits

Author SHA1 Message Date
John Wiegley
89e68ee32e coqPackages.flocq: new expression 2014-10-21 00:23:36 -05:00