pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dvisvgm
gvfs-cat
kinit
iotk.x_openmpi
wannier_ham.x
salt-syndic
ppmtolss16
vcf-indel-stats
xvinfo
mips-linux-gnu-ranlib
calligrasheets
cgminer
dnsubmit
dbifasta
add_ds.pl
ganeti-listrunner
gcc-ranlib
i686-w64-mingw32-gnat-posix
comtest
rrd-client-nagios-perfdata.pl
archrepo2solv
live-build
metapixel
arcacl
pkgkde-vcs
pspp
gdal_edit.py
rsyncd-disable
tv_cat
vmmouse_detect