pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
avr32-linux-gnu-ld
as
byobu-ctrl-a
euare-usermodcert
fakeroot-tcp
isdnctrl
mpitests-osu_bcast
ods-kasp2html
cryptoflex-tool
early-z
httppower
razor-desktop
chage
pswdb
apertium-validate-interchunk
check_postgres_last_autoanalyze
freefoam-pimple
i686-w64-mingw32-cpp-posix
gocr-tk
unique
ast
dbf_dump
turtle_benchmark.pl
afsd.fuse
ovs-l3ping
pysatellites
load_remote_mapping_file.py
qmail-local
smi
sb_mboxtrain