Skip to content
This repository has been archived by the owner on Nov 17, 2019. It is now read-only.

Update Setup.hs #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update Setup.hs #1

wants to merge 1 commit into from

Commits on Jun 8, 2017

  1. Update Setup.hs 

    Finds defaultMain. Also fixes nix builds for `copilot-cbmc` on nixpkgs.
    @dmjio
    dmjio authored Jun 8, 2017
    Configuration menu
    Copy the full SHA
    a6bb7ea View commit details
    Browse the repository at this point in the history