pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
x_init
r3.mask
qhold
h5debug
ooviewdoc
sgmlsasp
b4b5-archfix
muniphot
upssched-cmd
PootleServer
isql
aiksaurus
servicemenudeinstallation
drbl-get-user
peel
ecaccess-job-get
gr_psd_plot_s
v.label
hamster-time-tracker
bot-training
mecab-config
index.pl
test_worker.py
marc2ris
acpl-long
vdb-lock.2.3.5
polyA_clip
trash-empty
swac
zypp-refresh