blob: 2c21e3ab262f7fe6a9a67a0c46b08e8f8c1af17c (
plain)
1
2
3
4
5
6
7
8
|
# CoqIDE is temporarily disabled.
usr/bin/coqidetop*
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
|
