coq-on-android /

Filename Size Date modified Message
coq-target
445 B
暫定 Android版 coqtop.opt ビルドスクリプト
1.1 KB
changed configure (and Makefiles) to accept ./configure -sharedlib