pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
euca-delete-vpn-gateway
fontlint
g_anaeig
hitch
hwloc-bind
vbox
ronn.js
fbo-readpixels-depth-formats
hiz-depth-stencil-test-fbo-d24-s8
mkudffs
TestInstantiator
lzdiff
atfsit
bossash
kitpost
ged2gwb
idemo
ivtext
yahooquote
ginsi
mincdiff
parser3
profbval
__init__.py
vb3kb
h316
getABISampleName
syrthes-gui
tos-mote-key
isnum