keydb-2.0.0 ----------- Version 2.0.0 Author Michael Hanus Synopsis Libraries for accessing databases via database keys Category Database Dependencies Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Exported modules Database.KeyDatabaseSQLite Test suite Directory test Test modules TestKeyDatabaseSQLite Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/keydb.git@v2.0.0 License BSD-3-Clause License file LICENSE