Merge pull request #2091 from mstksg/patch-7

added hamilton package
This commit is contained in:
Jens Petersen 2016-11-29 09:58:23 +09:00 committed by GitHub
commit 61b8cb03cb

View File

@ -1488,6 +1488,7 @@ packages:
"Justin Le <justin@jle.im> @mstksg":
- auto
- configurator-export
- hamilton
- prompt
- tagged-binary
- typelits-witnesses