dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
b6d0414b22
nixpkgs/pkgs/tools/security/scilla
History
R. Ryantm 1f80c03c0e scilla: 1.2.2 -> 1.2.3
2022-09-05 02:49:53 +00:00
..
default.nix scilla: 1.2.2 -> 1.2.3 2022-09-05 02:49:53 +00:00