Merge pull request #1693 from nmattia/patch-1

Add makefile package
This commit is contained in:
Jens Petersen 2016-07-12 10:05:22 +09:00 committed by GitHub
commit 150853b8f1

View File

@ -1,6 +1,9 @@
ghc-major-version: "8.0"
# Constraints for brand new builds
packages:
"Nicolas Mattia <nicolas@nmattia.com> @nmattia":
- makefile
"Michael Litchard <michael@schmong.org> @mlitchard":
- point-octree