pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
powerpc64-linux-gnu-objdump
ctest
cached
dpconv
gfix
unprocessed_raw
oiiotool
createTables.php
arb_compute_shader-api_errors
windowoverlap
testr
assistant_adp
vglserver_config
arm-linux-gnueabi-nm
nm
cmus
cvs-debuild
gjar-4.9
globus-job-manager-lock-test
wam2ma
izcoordinator
noweave
openmsx-catapult
osganimationmorph
openteacher
mm-test
filedumper
mord-long
ucspi-proxy-log
z88e