GitHub repository: jwiegley/dsss17
Primary language: Nix
Created: 2017-07-12T19:17:22Z
Description: A Nix project for building all the dependencies needed at DeepSpec Summer School 2017