sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-06 05:10:29 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/devel/gecode
History
Yuri Victorovich 62307392cf 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)
2019-10-27 05:19:34 +00:00
..
distinfo devel/gecode: Update 5.1.0 -> 6.2.0 2019-10-27 05:19:34 +00:00
Makefile devel/gecode: Update 5.1.0 -> 6.2.0 2019-10-27 05:19:34 +00:00
pkg-descr
pkg-plist devel/gecode: Update 5.1.0 -> 6.2.0 2019-10-27 05:19:34 +00:00