Binary: proofgeneral

d.extract inotifywait capifaxrcvd ntfstruncate sendmail.opensmtpd rdma_bw README arb_sample_shading-interpolate-at-sample-position pure-config.py qt20fix qmlscene-qt5 bands.x slcan_attach neglog.itt Ettable m68hc11-gcc glosstex indi_lx200genericlegacy convertformat x86_64-linux-gnu-python3-dbg-config vpbconf mate-file-share-properties jstatd lsmod_info plume-creator jp sfood-imports asplash C_etat_civil dump_xsettings