blob: 6e884e1358a8beecf80f326aeef3ced75fa727ca (
plain)
1
2
3
4
5
6
7
8
9
10
|
# 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
usr/lib/coq/revision
|
