Code

Support Coq 8.9.0#76

Code

Open

coord-e wants to merge 1 commit intothe-lambda-church:pathogen-bundlethe-lambda-church/coquille:pathogen-bundlefrom coord-e:pathogen-bundlecoord-e/coquille:pathogen-bundleCopy head branch name to clipboard

+1-2

Commits

Commits on Mar 21, 2019

• Use coqidetop to use coquille with coq v8.9.0

  coord-e

  authored
  701b38e

  Copy full SHA for 701b38e