summary refs log tree commit diff
path: root/pkgs/tools/security/scilla
Commit message (Expand)AuthorAge
* scilla: 1.1.1 -> 1.2.1Fabian Affolter2022-02-10
* scilla: 20210118 -> 1.1.1Fabian Affolter2021-09-03
* scilla: init at 20210118-74dd814Fabian Affolter2021-01-18