dterei/ghc — pull request #2 by dterei (2013-06-19 00:45:42+00:00)
Title: Metadata

Alternative metadata design.