pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bfast
cbf2adscimg
vdir
unique-messages.pyc
kmk_ln
hpigensimdata
orca
pkcs11_listcerts
amstex
text2pcap
zanata_zanata_xml_make
berkeley-abc
cvsdo
dcmdjpeg
eric
runcgi.sh
keytest
flashproxy-client
freefoam-wallGradU
po2txt
gitrgrep
gnupod_convert_MIDI
gst-doc
indi_lx200generic
kpendulum.kss
libcangjie_cli
js24
helloserver
palo
simple_local_consumer3