pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
nm
euare-userlistkeys
nsdb-delete-fsl
festival_server
fsvs
hpcdtoppm
nrsysmond
pcl_demean_cloud
fbo-generatemipmap-3d
wannier_ham.x_mpich
svnadmin
get_module
typespeed
webcam
acpitail
arm-none-eabi-objcopy
chaosreader
touch
dictdconfig
dnaclust-ref
needleall
faust2mathviewer
forge_run_job
perl-nocem
logstalgia
nmzmerge
nuitka
sdasrab
sweepgen
xsil2graphics2