pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
unarj
dirac_YUV422ItoYUV420I
gvfs-open
ipmievd
mono-service2
doctrine
polygon-mode-offset
puppetqd
wsdl2py
pq2-cache
genreflex
wifi
cytune
x86_64-linux-gnu-gcov-4.8
bdy
gfan_fancommonrefinement
gfs2_mount
aggregate-avatars
hostap_rid
bpappend
llvm-mcmarkup
pof6
uname_resource
crmgr
ib_qlgc_vnic_query
fogdocker.rb
sslocal
slon_watchdog
fixpix
xbs