pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
microblaze-linux-gnu-c++filt
sh-linux-gnu-as
heart
defaults
krb5-auth-dialog
nl-classid-lookup
newlist
mlpack_gmm
slog2print
jk-rotate
serviceconf
virt_mail-vt
x2goprint
xfterm4
repomanage
ctdb_persistent
diodmount
grmic-4.9
originator
gupnp-network-light
hpanel
lessecho
osgarchive
pydoc3
loofah-query
xrancid
mime-tool
whiff
insplot_about
wmf