pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
x86_64-linux-gnu-ld.bfd
indexer.php
kmk_cp
kojid
hpsa_lsmplugin
lxc-stop
x86_64-w64-mingw32-pkg-config
mysql_client_test
rasview
grunt-init
clearbuffer-mixed-format
pip
scorep
gftopk
asimut
apt-listbugs
cdebootstrap-static
dvd-slideshow
euktopst
i686-w64-mingw32-c++-posix
ips
embryo_cc
lli-child-target
proxytunnel
atk6-fake_mipv6
EICExtractor
transfermii_gui
vtwm
povray
xowish