Ticket #47317: Portfile-gecode.diff
File Portfile-gecode.diff, 801 bytes (added by l.digaspero@…, 10 years ago) |
---|
-
Portfile
old new 4 4 PortSystem 1.0 5 5 6 6 name gecode 7 version 4. 3.37 version 4.4.0 8 8 categories devel math 9 9 platforms darwin 10 10 maintainers gmail.com:l.digaspero openmaintainer … … 20 20 master_sites ${homepage}download/ 21 21 use_7z yes 22 22 23 checksums rmd160 0431e4ea5975d6f7cc386a9019b01313562efdc9\24 sha256 e6cf7006352ee42ecb93a73ad2bb2591220e131a7d55731c906c7276c2088c9823 checksums rmd160 db3a1fa2a49c2717b14190e4b40b401af7d9700e \ 24 sha256 c3da433cf1de57e1a5b7a62a1206d13788583a20c20ca4a831d1a05254f00d50 25 25 26 26 depends_build port:boost 27 27