Dependencies for free-theorems-webui-0.2.1.1
Executables
free-theorems-webui.cgi
- base (>=3.0.3.1 && <5)
- bytestring (>=0.9.1.4)
- cgi (>=3001.1.7.1)
- csv (>=0.1.1)
- dataenc
- directory (>=1.2.0.0)
- filepath (>=1.3.0.0)
- free-theorems (>=0.3.1.3 && <0.4)
- process (>=1.1.0.0)
- time (>=1.1.4)
- xhtml (>=3000)
free-theorems-webui
- No dependencies
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| our_server | Use the path configuration from "our_server_config/" instead of "default_config/". After compilation, the application will only work with the folder layout on our server. See "our_server_config/Paths.hs" for details. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info