pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gprof
x86_64-linux-gnu-ld
curl
skillet
openvt
tigerdeep
pgpool
rsync
scponlyc
dvibook
tm_texgraph
build_tmdb
reindex
xfce4-mixer
icclu
ceph_erasure_code_benchmark
daemonfs
deb-preconf-drbl
dsdp5
fmfconv
git-delete-tag
hpsockd
id3v2
mpc-ace
pb-event
polygraph-cdb
httpget
shp_doctor
login.pl
xcal_cal