pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
asciidoc.py
avr-c++filt
cjet
euare-rolegetpolicy
globus-scheduler-event-generator
r.li.padrange
ldns-gen-zone
perror
opendkim-testkey
portrelease
hostbyname
bscan
mips-linux-gnu-ld
drbl-nfs-conf
einfo
quickadd
funcone
forge_run_plugin_job
gmt2kml
gpiv_fi-keyline
indi_lx200generic
lrs
php-parse.php
c2p
merge_mapping_files.py
neighbor_joining.py
multigem
tau_analyze
unmass
wine