pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ia64-linux-gnu-gprof
mkhybrid
glite-lb-purge
icnctrl
libobjc-4.dll
nfsometer
mech-dump
1-1-linear-texture
ext_timer_query-lifetime
lrelease
randicmp6
xzless
strip
gmod_dump_gff3.pl
mcaffine
db5.1_replicate
gallery1-to-slideshow
efax-0.9a
mount.exfat-fuse
rzxdump
auth_krb5
generate_export_file.pl
libcangjie_bench
magicfilterconfig
mc.sh
odp2txt
python3-bashate
bits.py
servefile
texliveonfly