Uploaded at Nov 26 17:52:55 2021
Succesfully tested at Jan 19 07:46:53 2022

Curry Package directory


Download

Checkout with CPM:
cypm checkout directory 3.0.0
Package source:
directory-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/directory.git