I see this project has been transferred from Subversion to Git but it seems any tags or releases haven't transferred with it. Would it be possible to tag 0.11b (I guess the last version) at least so we know what commit in this repo is equivalent to it?
I guess c35ed3a is equivalent to 0.11b of 20150326?
Also https://www2.cs.tum.edu/projects/cup/ links to https://www2.cs.tum.edu/projects/cup/releases/ to download "old" releases but the last link just ends up in 403.
I see this project has been transferred from Subversion to Git but it seems any tags or releases haven't transferred with it. Would it be possible to tag 0.11b (I guess the last version) at least so we know what commit in this repo is equivalent to it?
I guess c35ed3a is equivalent to 0.11b of 20150326?
Also https://www2.cs.tum.edu/projects/cup/ links to https://www2.cs.tum.edu/projects/cup/releases/ to download "old" releases but the last link just ends up in 403.