pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
sun2amd
[
wrmsr
traffic_logstats
jailtest
unbound
baloo_file_extractor
dcm_diff
cxref-cpp-configure
debdelta
dbifasta
hmm2fetch
mkdir
cgal_create_cmake_script
gda-list-server-op-5.0
nilfs-tune
oboinus
tstcpsend
pyroom
beta_diversity.py
beta_significance.py
rgxg
fathom
rd.pl
squid3
swift-proxy-server
tfdocgen
MapAlignerSpectrum
ttylog
xca