Ticket #42501: Portfile-ott.diff
File Portfile-ott.diff, 767 bytes (added by ggreif@…, 11 years ago) |
---|
-
Portfile
old new 4 4 PortSystem 1.0 5 5 6 6 name ott 7 version 0.2 37 version 0.24 8 8 platforms darwin 9 9 categories devel 10 10 license BSD … … 22 22 master_sites ${homepage} 23 23 distname ott_distro_${version} 24 24 25 checksums rmd160 a86d5282fd99cf17c4709bcf441889761267f2d9\26 sha256 da56c08aceb0c8f30b3342c5c072dd4efcb86b83966fe5faa31b57d8cfba43b425 checksums rmd160 69b91b55d2ea1cf06fe1ec0ee37d9aee12d6f826 \ 26 sha256 ef215996eff2760631bf5333ad2ef97f46f1bb281e9a2e12dca5110b465a1f43 27 27 28 28 depends_lib port:ocaml 29 29