dep-selector icon indicating copy to clipboard operation
dep-selector copied to clipboard

Published 20 hours ago • verified publisher icon chef

Please update to support gecode v5

Open 375gnu opened this issue 6 years ago • 0 comments

Please update to support gecode v5 as most distributions have switched to it.

375gnu avatar Mar 20 '18 13:03 375gnu