» Ubuntu » Packages » bionic » coqide » s390x » File list

File list of package coqide in bionic of architecture s390x

/usr/bin/coqide
/usr/lib/coq/toploop/coqidetop.cma
/usr/lib/coq/toploop/coqidetop.cmxs
/usr/share/applications/coqide.desktop
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/doc/coqide/FAQ-CoqIde
/usr/share/doc/coqide/NEWS.Debian.gz
/usr/share/doc/coqide/changelog.Debian.gz
/usr/share/doc/coqide/copyright
/usr/share/man/man1/coqide.1.gz
/usr/share/man/man1/coqide.byte.1.gz
/usr/share/man/man1/coqide.opt.1.gz
/usr/share/pixmaps/coqide.xpm