Upgrade opam-mirror #1
Loading…
Reference in a new issue
No description provided.
Delete branch "with-new-tar"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
I pushed a commit that updates to tar.3.0.0 (only a config.ml change) and digestif, and refactors it a bit.
I also fixed a "bug" which I now learnt was not really a bug since opam seems to only allow checksum md5, sha256 and sha512.
https://opam.ocaml.org/doc/Manual.html#Checksums
Thanks!