pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ar
g_sigeps_d
jpegoptim
probe
pamcut
array-depth-roundtrip
fbo-3d
mkbitmap
fd_ifc.x
sems
dvipos
tpm_setclearable
setfacl
ayttm_streamer_wrapper
.htaccess
objccoll.o
ges-launch-1.0
ansi2txt
laborejo-qt
datum_strip
nmz-config
lookup.pl.gz
getmesh
otrs.CryptPassword.pl
newhelp
podebconf-display-po
loganalyzer.php
wfst_run
pw.pl
ttyplay