Opam repo for ostap and other packages To generate urls.txt we need
$ foo() { s=`md5sum $1 | awk '{ print $1 }' `; echo "$1 $s 0o644"; } $ export -f foo $ find packages -type f -not -iwholename '*.git*' | while read file; do foo "$file"; done