pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld.bfd
byzanz-record
fence_kdump_send
startfluxbox
c++
ldns-zcat
mcelog
mongoperf
mpic++
nsec3dig
postmaster
re2c
po2html
gnuclient
sync-accounts
chirpw
makepercentrelay
dwbem
fppkg-2.6.4
freefoam-wallShearStress
add_text
wserv
ldapgid
i686-w64-mingw32-ocamlopt
osgkdtree
proot
txaws-put-object
rsyncd-enable
im.pl
mkzopeinstance