pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
remove-ds.pl
sedismod
cpmchattr
generatorrunner
transcheck
nftrack
puppetrun
xfce4-mouse-settings
cmospwd
csdp-randgraph
DBusCall
dsr2xml
add-shell
eficas
avr-gcc-nm
gnome-boxes
r.compress
ivcat
akonadi_sendlater_agent
mx-run
subs
GNUAutobuildProjectCreator.pm
javap
ossim-pixelflip
otrs.CheckModules.pl
iofits
radare2
daemon.sh
xteld
zsh5-static