Metadata-Version: 2.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-Content-Type: UNKNOWN
Platform: UNKNOWN
Requires-Dist: jsonschema

UNKNOWN


