pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
powerpc64-linux-gnu-as
ld.bfd
rfrm
fence_ilo_moonshot
metaflac
gnuplot-wx44
jack_evmon
icu-config
pamchannel
ppmntsc
strip-json-comments
salsa.mpi
spamc
dmsdmd
fort77
offconsol
indi_ieq45_8406
dprofiles
aot-compile
lxsettings-daemon
debruijn
nodau
create-sql-drop-file.pl
drone
lzip.pdlzip
cdimage_resource
tjf
reglookup-timeline
simplyhtml
xli