pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
agrep
zftp
ikiwiki-mass-rebuild
lcg-rep
libbluray_test
nfexpire
arcmkdir
mkntfs
ypatchy-g77
pcl_plane_projection
hadd
sdcc-sdastlcs90
allec
ovf2ovp
voms-proxy-fake
batmand
bp_translate_seq
bossac
v.net
aoslsi
mx-run
lxc-test-clonetest
ns3.17-bench-packets
openntpd
ppp-gatekeeper
cdvdcontrol
sb_bnserver
swac-get
tos-storage-at45db
niftidump