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