diff --git a/devel/gecode/Portfile b/devel/gecode/Portfile
index 440c7b2..e7d78c6 100644
a
|
b
|
|
4 | 4 | PortSystem 1.0 |
5 | 5 | |
6 | 6 | name gecode |
7 | | version 4.0.0 |
| 7 | version 4.2.0 |
8 | 8 | categories devel math |
9 | 9 | platforms darwin |
10 | 10 | maintainers brandonvalentine.com:brandon |
… |
… |
homepage http://www.gecode.org/ |
20 | 20 | master_sites ${homepage}download/ |
21 | 21 | use_7z yes |
22 | 22 | |
23 | | checksums rmd160 1bcbb998c16abf0232f8b86fff90dfc4ef2eb691 \ |
24 | | sha256 ed0630fdf265bbe55ed0242f79fa270f47e6015feaf20dbbd3258026a07a891e |
| 23 | checksums rmd160 0e3c5e3ff7d47288f7f5efcb8969a672f59a6ff0 \ |
| 24 | sha256 0df51a771e0e21d2a71eb964f0020b3320c91a9d166150c31c12925f10d4358f |
25 | 25 | |
26 | 26 | depends_build port:boost |
27 | 27 | |