pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
GenVtf
intel_l3_parity
nodeunit.json
camlp4rf.opt
nyindex-g77
arb_sync-delete
glean
trinity-fp1
xterm
verifytree
exim_fixdb
freefoam-cellSet
cwnnkill
funsky
gcm-import
hhfilter
estload
jclicreports
ixpc
lsh-execuv
morla
clean_conntrack.pl
oggJoin
pinentry-x2go
keyboard_test
arancid
irb2.1
selinux-policy-upgrade
sfood-graph
imsize