pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
powerpc64-linux-gnu-ar
mkromdic
ceph_test_cls_rgw_meta
dnssec-trigger-control-setup
euca-describe-subnets
ffplugingui
fedfs-get-limited-nsdb-params
v.in.ogr
qml
qucsfilter
ntdbdump
uglifyjs
viewvc-mp.pyc
cutseq
freefoam-md
guile-2.0
LauncherBootstrap.class
polarssl_ssl_cert_test
idlc
forw
MPDCon
msva-perl
netsend
fssync-debug
__init__.py
i7094
vserver-stat
vim.gnome
xxgdb
repozo