This bumps the pinned entree-specs commit to bring in the changes from GaloisInc/entree-specs#6, which requires entree-specs to build with coq-itree.5.2.*. Doing so is necessary to fix the CI failure observed in GaloisInc/entree-specs#5. Moreover, GaloisInc/entree-specs#6 adds upper version bounds to coq-itree in entree-specs' opam file, minimizing the likelihood of such a breakage happening again in the future.
This bumps the pinned
entree-specscommit to bring in the changes from GaloisInc/entree-specs#6, which requiresentree-specsto build withcoq-itree.5.2.*. Doing so is necessary to fix the CI failure observed in GaloisInc/entree-specs#5. Moreover, GaloisInc/entree-specs#6 adds upper version bounds tocoq-itreeinentree-specs'opamfile, minimizing the likelihood of such a breakage happening again in the future.