ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-08 13:39:20 +03:00
Code Issues Projects Releases Wiki Activity
aac6de8d31
nixpkgs/pkgs/development/compilers/kind2
History
figsoda 7516618e2d kind2: init at 0.2.77
2022-09-25 15:23:02 -04:00
..
default.nix