pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dsktune
amcheck
objcopy
m32r-linux-gnu-ranlib
ceph_test_rados_api_watch_notify
grdtrack
h5repart
xferfaxstats
ng_stl
cftp
md5fa
system-config-date
tclsh
repupgrade
qalter-torque
split-logfile
cibsecret
fai-monitor-gui
urdf_to_graphiz
pagesjaunes
myvi
sor
perdition.managesieve
vdb-validate.2.3.5
tarantar
op-tkdesk
vrrpd
flatboob
tv_grep
hostgraphs.cgi