pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bltk_get_bat
mk-job
exiqsumm
gdbserver
mpdchkpyver.py
mpirun_rsh
clog2TOslog2
osx
server.py
rpmsodiff
lsusb.py
pivot_root
cdfcofdis
dh_icons
dh_scrollkeeper
dff-gui
wordfinder
eric5_pluginrepository
scheme-srfi-0
marisa-build
ns3.17-bench-simulator
tokens
ophcrack
pngchunkdesc
polygraph-pgl2ips
racc2y
bamg
riakcs.rb
test-sra
xx-pyline