Coquelicot, Flocq, Interval #7

Merged
merged 2 commits into from Feb 11, 2014

Conversation

Projects
None yet
2 participants
Contributor

silene commented Feb 7, 2014

No description provided.

silene added some commits Feb 7, 2014

Take over maintenance of flocq and interval.
Weaken dependency on Coq version.
Enable parallel builds.

braibant added a commit that referenced this pull request Feb 11, 2014

Merge pull request #7 from silene/master
Coquelicot, Flocq, Interval

@braibant braibant merged commit b1bfdb3 into coq:master Feb 11, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment