about summary refs log tree commit diff
path: root/pkgs/tools/security/scilla
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-08-20scilla: add changelog to metaFabian Affolter1-1/+2
2023-08-16scilla: 1.2.4 -> 1.2.7Aaron Jheng1-3/+8
2022-09-27scilla: 1.2.3 -> 1.2.4R. Ryantm1-3/+3
2022-09-05scilla: 1.2.2 -> 1.2.3R. Ryantm1-3/+3
2022-07-29scilla: 1.2.1 -> 1.2.2R. Ryantm1-3/+3
2022-02-10scilla: 1.1.1 -> 1.2.1Fabian Affolter1-3/+3
2021-09-03scilla: 20210118 -> 1.1.1Fabian Affolter1-5/+4
2021-01-18scilla: init at 20210118-74dd814Fabian Affolter1-0/+26