pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
lpmove
euca-replace-network-acl-association
i.modis.qc
mtp-reset
setenforce
my_print_defaults
clipfilter
perl5.10.1
fbo-luminance-alpha
whisper-merge
qtpaths
net
tkdiff
ac++
tt2text
eric5_trpreviewer
gpiv_trig
langford_rx_rf_bb_vga
add_rel_link.sh
testH264VideoToTransportStream
llvm-objdump-3.5
mincdiff
mono-csc
flist
occ
prerex
apt-add-repository
DBImporter
vrfy
xmp