GitHub repository: ttuegel/nixpkgs-kframework
Primary language: Nix
Created: 2018-10-30T17:15:38Z
Description: Nixpkgs overlay for K Framework packages