pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gamt
ranlib
db2dvi
weather
gcps2vec.py
hsc2hs-ghc
gl-admin-push
mgd77togmt
r.regression.line
rcopenwsmand
draw-instanced
fqha.x_openmpi
shigofumi
vhd-util
cairo-perf-chart
envdir
update-profile-cache
mpgprobe
ecaccess-certificate-list.bat
domainreso
v.outlier
Xtract
actived
las2las
lldb-mi-3.5
nuttcp
openpgp-tool
initdb
lunch
imsmooth