Ticket #46181: Portfile-ott.diff
File Portfile-ott.diff, 757 bytes (added by ggreif@…, 10 years ago) |
---|
-
ott.
old new 4 4 PortSystem 1.0 5 5 6 6 name ott 7 version 0.2 47 version 0.25 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 69b91b55d2ea1cf06fe1ec0ee37d9aee12d6f826\26 sha256 ef215996eff2760631bf5333ad2ef97f46f1bb281e9a2e12dca5110b465a1f4325 checksums rmd160 4b6c858cd760ce78fa343422b17d5a06d5f0b06d \ 26 sha256 0d63d4d7ae03056c0b77edd75a86d740971815f8643514efcbd9a69f7d680a45 27 27 28 28 depends_lib port:ocaml 29 29