curry-base issueshttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues2020-11-12T16:01:59Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/18Mark as deprecated2020-11-12T16:01:59ZFredrik WieczerkowskiMark as deprecatedThis package has been merged into the curry-frontend (with curry-frontend!34) and is now redundant.This package has been merged into the curry-frontend (with curry-frontend!34) and is now redundant.