nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-14 01:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
309f54ae5b
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 kind2: 0.3.7 -> 0.3.10 2023-05-12 13:40:24 -04:00