Metadata-Version: 1.0
Name: idream
Version: 0.1.0
Summary: A simple build system for Idris
Home-page: https://github.com/ejconlon/idream
Author: Eric Conlon
Author-email: ejconlon@gmail.com
License: UNKNOWN
Description: UNKNOWN
Platform: UNKNOWN
