pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dt-getname
dzen2-textwidth
g_sham_d
tcptraceroute6
nopt
pcl_pcd2vtk
makerandom
glx-swap-event
online-access-registry
strace
swiften-config
bowtie2-inspect
dailystrips-update
diction
drbl-live-conf-X
light.lut
freefoam-channel
freefoam-coalChemistry
jobrep-admin
convertfilestopdf
cpants_lint
numbound
paulstretch
pfsstat
ikeygen
pure-ftpd-mysql
sam-dump.2.3.5
FeatureFinderCentroided
tpb
viewsu