summaryrefslogtreecommitdiff
path: root/homebrew/coq/_metadata/version
blob: e5c15102d9b926f8a95030fdc7574ed3bdd0b467 (plain)
1
8.9.0