anonymize opam file

1 job for master in 20 minutes and 24 seconds (queued for 2 seconds)