GitHub repository: runtimeverification/homebrew-k
Primary language: Ruby
Created: 2023-10-30T16:33:35Z
Description: K Homebrew tap