cass-2.0.0 ---------- Version 2.0.0 Author Michael Hanus Synopsis CASS: the Curry Analysis Server System Category Analysis Dependencies base >= 1.0.0, < 2.0.0 cass-analysis >= 2.0.0 currypath >= 0.0.1 finite-map >= 0.0.1 flatcurry >= 2.0.0 propertyfile >= 0.0.1 redblacktree >= 0.0.1 scc >= 0.0.1 socket >= 0.0.1 xml >= 2.0.0 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Executable Name cass Main module CASS.Main Config module CASS.PackageConfig Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/cass.git@v2.0.0 License BSD-3-Clause License file LICENSE