pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ppdc
e3em
ssl_esock
compare-repo-font-audit
qdel
qstat
kdiamond
secutil
mpitests-osu_put_latency
vppreproc
gl-3.2-layered-rendering-gl-layer
assistant_adp
csh
nssock.so
randomdata
edamisid
ggcov-webdb
gcalccmd
m.nviz.image
lsinitramfs
depdiagram-generate-all
mpic++.mpich
mia-3dimagestats
robotic-arm-kinematics
vcloud_director.rb
sfront
swift-container-auditor
taktuk
setclasspath.sh
Decharger