pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ccs_test
dt-gethost
euscale-describe-auto-scaling-notification-types
euscale-put-notification-configuration
r.cost
espdiff
alembic
ml_count
deepfind
tm_matlab
wipe
aecomplete
pdv
arpfetch
h8300-hms-objcopy
sdcdb
pg2cdbi_viaTT.pl
DBDirect-hdbc-odbc
gnatcoll_db2ada
refile
ltsinfo
mp3check
mpqcval
DifOdometry-Datasets
mustang
nc.openbsd
matchers.py
science-physics
esfilter
v4l2ucp