about summary refs log tree commit diff
path: root/pkgs/development/compilers/kind2
AgeCommit message (Expand)AuthorFilesLines
2022-10-18kind2: 0.2.77 -> 0.2.79figsoda1-4/+21
2022-09-25kind2: init at 0.2.77figsoda1-0/+20