packages feed

tamarin-prover-term-0.1.0.0: Setup.hs

import Distribution.Simple
main = defaultMain