nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 13:43:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
1734b3245d
nixpkgs/pkgs/development/compilers/kind2
History
figsoda bc3ae46139 kind2: 0.3.7 -> 0.3.10 
Diff: https://diff.rs/kind2/0.3.7/0.3.10
2023-05-12 13:40:24 -04:00
..
default.nix