profiling-pakcs-1.0.0
---------------------
Version      1.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Library to access profile data of the back-end Prolog system of
             PAKCS
Category     Debugging
Dependencies
Compiler compatibility
    base = 1.0.0
    pakcs >= 2.0.0,  <= 2.2.0
Exported modules
    Debug.Profile.PrologData
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/profiling-pakcs.git@v1.0.0
License
    BSD-3-Clause
License file
    LICENSE