about summary refs log tree commit diff
path: root/pkgs/tools/security/scilla/default.nix
Commit message (Expand)AuthorAge
* scilla: add changelog to metaFabian Affolter2023-08-20
* scilla: 1.2.4 -> 1.2.7Aaron Jheng2023-08-16
* scilla: 1.2.3 -> 1.2.4R. Ryantm2022-09-27
* scilla: 1.2.2 -> 1.2.3R. Ryantm2022-09-05
* scilla: 1.2.1 -> 1.2.2R. Ryantm2022-07-29
* 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