pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
refcounter
dpkg-source
umount.ecryptfs_private
euare-groupgetpolicy
euca-enable-vgw-route-propagation
euca-reset-network-interface-attribute
project
r.clump
gsisshd
rdma_xclient
i686-w64-mingw32-size
isbmex
dnsbulktest
rabbitmqctl
sipdialer
travelccm
cdrwtool
WinList
e2mv
convert2osm
xynagios
hts_engine
h2player
jh_linkjars
opj_jp3d_decompress
mia-meshdistance-to-stackmask
smfrec
nepomukfilewatch
avg_chromakey
xorp_rip