geniplate-mirror 0.7.5

3 Reverse deps Accepted versions
Agda >=0.6.0.6 && <0.8
tip-haskell-frontend >=0.7.1
tip-lib >=0.7.1