packages feed

agda-snippets-2.4.2.4: Setup.hs

import Distribution.Simple
main = defaultMain