free-theorems-webui 0.2 → 0.2.0.1
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~free-theorems
Dependency ranges changed: free-theorems
Files
free-theorems-webui.cabal view
@@ -1,5 +1,5 @@ Name: free-theorems-webui-Version: 0.2+Version: 0.2.0.1 Synopsis: CGI-based web interface for the free-theorems package. Description:@@ -57,7 +57,7 @@ Executable free-theorems-webui.cgi main-is: Main.hs build-depends: base >= 3.0.3.1 && <5- , free-theorems >= 0.3.1.2+ , free-theorems >= 0.3.1.3 && <0.4 , csv >= 0.1.1 , cgi >= 3001.1.7.1 , time >= 1.1.4