pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
c44
dtdiff
hwloc-ls
isol
linux_logo
i686-w64-mingw32-objcopy
mpirun_dbg.ladebug
prove.pir
dvilj2p
ctangle
mkfs
delete_disabled.inc
bbdb-cid
idl11.lut
flvstreamer
mkzftree
gjay
orca-dm-wrapper
gst-device-monitor-1.0
miniscope
atdcat
logisim
maptransfer-server
pybabelfish
rhnreg_ks
hwlatdetect
chpst
toilet
Xvnc4
xx-filter