pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
objdump
dund
man1x
g.list
sgepasswd
natpmpc
pklogin_finder
po4a-updatepo
ftptop
autospec
saxon
torify
z80-unknown-coff-ranlib
dateutils.dsort
linpsk
nwepgen
gene2xml
cli.js
ossim-ws-cmp
po_ir
swift-config
qemu-mipsel
simple_local_consumer3
blkcat
mfplain
runThePEG
dicomfind
xjdrad
zivot
zypp-refresh