Ticket #47317: Portfile-gecode.diff

File Portfile-gecode.diff, 801 bytes (added by l.digaspero@…, 10 years ago)
  • Portfile

    old new  
    44PortSystem          1.0
    55
    66name                gecode
    7 version             4.3.3
     7version             4.4.0
    88categories          devel math
    99platforms           darwin
    1010maintainers         gmail.com:l.digaspero openmaintainer
     
    2020master_sites        ${homepage}download/
    2121use_7z              yes
    2222
    23 checksums           rmd160  0431e4ea5975d6f7cc386a9019b01313562efdc9 \
    24                     sha256  e6cf7006352ee42ecb93a73ad2bb2591220e131a7d55731c906c7276c2088c98
     23checksums           rmd160  db3a1fa2a49c2717b14190e4b40b401af7d9700e \
     24                    sha256  c3da433cf1de57e1a5b7a62a1206d13788583a20c20ca4a831d1a05254f00d50
    2525
    2626depends_build       port:boost
    2727