about summary refs log tree commit diff
path: root/pkgs/development/compilers/kind2
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-07-03kind2: fix buildfigsoda1-28/+0
2023-05-12kind2: 0.3.7 -> 0.3.10figsoda1-6/+32
2023-01-27kind2: 0.2.79 -> 0.3.7figsoda1-15/+12
2022-10-18kind2: 0.2.77 -> 0.2.79figsoda1-4/+21
2022-09-25kind2: init at 0.2.77figsoda1-0/+20