pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
prezip
ld
flex
gifrotat
gnome-power-preferences
display-buttons
r.report
hp-printsettings
Magick-config
dbd
mpich2version
nytidy-g77
generate_rVV10_kernel_table.x_openmpi
manypw.x
wgsim_eval.pl
ceph_test_filestore_idempotent_sequence
kaliprint
musetup
acs-4-0-publish.sh
JPWL_image_to_j2k
orbit-name-server-2
polygraph-server
pyqi
qmail-tcpok
xmlpatternsvalidator
fnrancid
rant
srf_info
cd-tkdesk
uqwk.nntp