opt-parse activityhttps://git.ps.informatik.uni-kiel.de/curry-packages/opt-parse2021-04-15T15:39:35Ztag:git.ps.informatik.uni-kiel.de,2021-04-15:25276Michael Hanus pushed to project tag v3.0.0 at curry-packages / opt-parse2021-04-15T15:39:35ZmhMichael Hanus