Skip to content

Update the `esy` package

The following discussion from !186 (merged) should be addressed:

  • @proux started a discussion: (+2 comments)

    BTW, @Mbodin I don't know how to update the esy package, could you have a look? (you can take inspiration on the coq-prosa.opam file changes)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information