いつものように

$ brew update && brew upgrade

してたら coq の version が 8.9.0 になってしまい、今まで書いていたコードが動かなくなったので、coq の version を 8.8.2 にします。

ほとんど ↓ の記事を見ながらやりました。

参考: Homebrew で旧バージョンのパッケージをインストールしたい

brew でバージョン指定してインストールする方法

ローカルに Coq がある場合

$ brew info coq

を実行して version 8.8.2 がローカルに残っているなと思ったら

$ brew switch coq 8.8.2

で coq の version を変えれるらしいです。

ローカルに Coq がない場合

まず、

$ cd /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula
$ git log coq.rb

で適当に指定の version を見つける。

commit ef92c34e061cb99920f7ae05d3ba205fccc5f1b8
Author: BrewTestBot <homebrew-test-bot@lists.sfconservancy.org>
Date:   Wed Oct 31 17:08:20 2018 +0000

    coq: update 8.8.2 bottle.

今回は、↑ の version に downgrade したいと思います。

$ git checkout ef92c34e061cb99920f7ae05d3ba205fccc5f1b8
$ brew unlink coq
$ HOMEBREW_NO_AUTO_UPDATE=1 brew install coq

を実行する。

$ brew info coq
$ coq --version

等で version を確認してください。

最後に、

$ cd /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula
$ git reset --hard

しときましょう。

version のを上げたいときは、

$ brew switch coq 8.9.0

とかすると良い。

感想

  • Coq 8.9.0 にしたらRequire Export qualidが上手く動かなくなったけどなんで？