b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/tools/security/scilla
History
Fabian Affolter e3e91040b1 scilla: 1.1.1 -> 1.2.1
2022-02-10 23:49:22 +01:00
..
default.nix scilla: 1.1.1 -> 1.2.1 2022-02-10 23:49:22 +01:00