GitHub repository: GaloisInc/smaccmpilot-build
Primary language: Makefile
Description: An umbrella repository including all of the dependencies to build the smaccmpilot project