devel/gecode: Update 5.1.0 -> 6.2.0
Reset maintainer due to extended timeouts on bug #240101, #240100, #240089, as per policy.
Approved by: dem.procopiou@gmail.com (maintainer's timeout; 62 days)
Description
Description
Details
Details
- Provenance
yuri Authored on - Parents
- rP515747: security/pear-Crypt_GPG security/pear-Text_Password: Reset maintainer due to…
- Branches
- Unknown
- Tags