Dependencies for free-theorems-seq-webui-1.0.0.2
Executables
free-theorems-seq-webui.cgi
- cgi (>=3001.1.5.1)
- containers (>=0.1.0.1)
- free-theorems-seq (>=1 && <2)
- mtl (>=1.1.0.0)
- network (>=2.1.0.0)
- pretty (>=1 && <2)
- utf8-string (>=0.3.1.1)
- xhtml (>=3000.0.2.1)
- if impl(ghc>=6.10)else
- base (>=1 && <4)