pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ecryptfs-add-passphrase
msgfmt.pyo
ar
rdf2com
mozilla-plugin-config
q2r.x_openmpi
sipdialer
clc_analyze.mpi
xclipboard
unxrandr
CuraEngine
font-manager
v.neighbors
kmod
ldapdeleteuser
funnel
lt-comp
mia-3dbrainextractT1
sdeconv
lscp
osggraphicscost
osgviewerQt
otrs.CleanTicketIndex.pl
pdftoipe
pb-udhcpc
storage_test
pg_filedump
promoe
report.cgi
zypp-refresh