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