blob: 8bc34b464186433a03b532e88960fd9d8cb55965 (
plain)
1
2
3
4
5
6
7
|
# CoqIDE is temporarily disabled.
usr/share/man/man1/coqide.1
usr/lib/coq/toploop/coqidetop.cmxs
# `make install` installs this to its expected location; `make install-byte`
# additionally installs it here.
usr/lib/coq/kernel/byterun/dllcoqrun.so
|