pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cris-linux-gnu-objdump
dfbtest_sync
fastaexplode
gofmt
r.li.padrange
minipro-query-db
mpitests-osu_latency
smbcacls
exp_count
fake_mld26
tomcat-tool-wrapper
AClock
asql
cream
chk_cyrus
seqnr
featcopy
evtest
fastx_nucleotide_distribution_graph.sh
hwloc-patch
chipcard-config
trhsx
spamalyze
nxcmd
mpirun_lam
nullmailer-inject
rmid
seek_script
pecomato
planetsplitter