Binary: mcrl2i

apbs-smooth darkplaces-quake-sdl v.generalize v.net.spanningtree solid-bluetooth arcrename pmclient dbrowenumerate totpprov sdcc-sdcc stellarium tp-magic-config xfce4-settings-manager autoscan2.64 bp_nexus2nh dhcping dom-mrconfig fcrackzipinfo i.modis.qc gshared fof-prover9 langdrill deb2solv ml-lex.x86-linux eerror migrate-repository qjoypad qtconfig atk6-ndpexhaust6 analogy_config