Binary: coqide

ceph_test_rados_api_misc cmakereference cube_cmp gnome-config dc1394_ladybug xml2-config lvm cidcall lupdate rpmrebuild sanlock xscreensaver-getimage-file yacc.py ctioga2 add-shell dxf2vrml dunst printdata ganeti-listrunner hxxmlns ldaptor-getfreenumber selfserv mate-display-properties-install-systemwide mia-3drigidreg micro_proxy nvramtool chardet3 uppltotf IDEvaluatorGUI seeded-in-ubuntu