pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
btrfsck
fedfs-lookup-replication
freeDiameterd
gplib
guilt-status
vmake
ibstat
ipa-adtrust-install
jq
abilint
ppmtojpeg
papi_multiplex_cost
syscall-counts-by-pid-record
wbemai
ar
ocs-live-dev
gsc-script
goadmin
r.grow.distance
push
insmod
knockd
ethumbd
worker.py
ragg2
refdbxml
mkjobtexmf
gtf_to_fasta
wapiti
yaret