universe-base 1.1.1

16 Reverse deps Accepted versions
beeminder-api >=1.0 && <1.1
Fin >=1.0 && <1.1
heyting-algebras ==1.0.*
lattices ==1.1.*
permutations ==1.0.*
servant-docs >=1.1.1 && <1.2
sign -any
stern-brocot ==1.0.*
universe >=1.1 && <1.1.2
universe-dependent-sum >=1.1 && <1.1.2
universe-instances-base >=1.1 && <1.1.2
universe-instances-extended >=1.1 && <1.1.2
universe-instances-trans >=1.1 && <1.1.2
universe-reverse-instances >=1.1 && <1.1.2
universe-some >=1.1 && <1.1.2
util-universe >=1.0 && <1.1