pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
babeltrace
stg-koji
tigge_split
lcg-get-checksum
vc1parser
mpitests-osu_acc_latency
rcc-qt5
tpm_setclearable
poterminology
fsck
dmail
join-dctrl
random.lut
fbset
freefoam-checkMesh
gbrowse_launch_aws_slaves
gcalccmd
gvb
indi_simulator_wheel
text2table
lightdm-kde-greeter
mailnagd
runjsonrpc2
simsam.py
gmk_m3-int64
vr.pl
mksunxiboot
wapiti-getcookie
python
yapra