pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gifrotat
Calculator
gplc
grib2ppm
cupsdconf
clone-outlet
oddjobd
gen-nonzero-unit
nitrate
scalpel
ucpp
fbtv
cut3d
fdnsip6
ppdep-2.6.4
ppufiles-2.6.4
freefoam-removeFaces
fvwm-crystal.generate-menu
xyz2kdt
launchtool
mate-settings-daemon
pbesconstelm
plug
re-PCR
mausezahn
mp3cut
optimize
aa.pl
update-updmap
xmedcon