nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-23 05:14:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
575,090 Commits 177 Branches 125 Tags 6.2 GiB
0545e8ec62
Commit Graph

2 Commits

Author SHA1 Message Date
Quinn Dougherty
a0eb0aa889 coqPackages.vcfloat: fix 2023-11-09 06:43:48 +01:00
Quinn Dougherty
c7634cf59a coqPackages.vcfloat: init at 2.1.1 2023-09-29 23:57:07 +02:00