coq from science project

お使いのオペレーティングシステムの選択

手作業でリポジトリを追加してインストールする

openSUSE Leap 16.0 の場合は、 root で下記のコマンドを実行してください:

バイナリパッケージを直接取得する

openSUSE Leap 16.0 向けのパッケージ: