projects / dports.git / commit
| author | DPorts Builder <nobody@home.ok> | |
| Wed, 6 Apr 2016 22:27:59 +0000 (15:27 -0700) | ||
| committer | DPorts Builder <nobody@home.ok> | |
| Wed, 6 Apr 2016 22:27:59 +0000 (15:27 -0700) | ||
| commit | 7406cb189b072f55ed4a2b24a22d3324d5aad43c | |
| tree | af1eebcfe8bdfb76eaca0fbb8544bec42514087e | tree | snapshot |
| parent | e024878affda949ff10fdb16557e7b5e63ee4e69 | commit | diff |
| lang/ocaml/Makefile | diff | blob | blame | history | |
| lang/ocaml/files/patch-configure | diff | blob | blame | history |