ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-18 03:04:32 +03:00
Code Issues Projects Releases Wiki Activity
320,102 Commits 96 Branches 102 Tags 4.5 GiB
f94419a3a8
Commit Graph

1 Commits

Author SHA1 Message Date
Théo Zimmermann
98e2339545
coqPackages.gaia: init at 1.11 and 1.12 2021-08-17 14:44:10 +02:00