packages feed

open-witness-0.5: Setup.hs

import Distribution.Simple

main = defaultMain