Name: pakcs
Bug-Database: https://git.ps.informatik.uni-kiel.de/curry/pakcs/issues
Bug-Submit: https://git.ps.informatik.uni-kiel.de/curry/pakcs/issues/new
Contact: mh@informatik.uni-kiel.de
Repository: https://git.ps.informatik.uni-kiel.de/curry/pakcs.git 
Repository-Browse:://git.ps.informatik.uni-kiel.de/curry/pakcs/ 
security-Contact: mh@informatik.uni-kiel.de
