packages feed

heyting-algebras-0.0.1.0: Setup.hs

import Distribution.Simple
main = defaultMain