EdisonCore 1.3.1.1

5 Reverse deps Accepted versions
Agda >=1.3.1.1 && <1.3.2
external-sort -any
freekick2 >=1.2.1.0
persistent-map >=1.2.1.3 && <1.3
starrover2 >=1.2.1.0