packages feed

singletons-2.5: tests/compile-and-dump/Singletons/NatSymbolReflexive.ghc86.template