curry-libs merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-libs/-/merge_requests2019-03-20T02:07:51Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-libs/-/merge_requests/4Allow pinning of LIBDEPS package versions2019-03-20T02:07:51ZJan PathAllow pinning of LIBDEPS package versionsThis is in order to allow pinning `network` to `2.8.0.0` in kics2This is in order to allow pinning `network` to `2.8.0.0` in kics2