diff options
Diffstat (limited to 'extra/ocaml/PKGBUILD')
| -rw-r--r-- | extra/ocaml/PKGBUILD | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD index d16369f13..2a738484b 100644 --- a/extra/ocaml/PKGBUILD +++ b/extra/ocaml/PKGBUILD @@ -65,3 +65,6 @@ optdepends=() install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/" } +md5sums=('91124a8eb12a57f1e56c02fe3db0f9e7' + 'e2c8bc316efe40532c5b9d7f9a1d8d62' + '67b0a8a8885fc1221181b171541cb1b0') |