Curry Package 'db-pakcs'

API documentation

Package metadata:

db-pakcs-1.0.0
--------------
Version      1.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Old database libraries for PAKCS (deprecated)
Category     Database
Dependencies
Compiler compatibility
    pakcs >= 1.14.0,  < 2.0.0
    kics2 >= 0.5.0,  < 2.0.0
Exported modules
    Database Dynamic KeyDatabase KeyDB
Test suite
    Directory     test
    Test modules  TestDatabase
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/db-pakcs.git@v1.0.0
License
    BSD-3-Clause
License file
    LICENSE