spicey-3.4.0 ------------ Version 3.4.0 Author Michael Hanus Synopsis A web application framework for Curry Category Web Database Dependencies base >= 1.0.0, < 2.0.0 abstract-curry >= 2.0.0 ertools >= 2.0.0 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Executable Name spiceup Main module Spicey.SpiceUp Config module Spicey.PackageConfig Test suite Directory examples Test modules TestSpicey Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/spicey.git@v3.4.0