pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
__init__.pyc
GenCrc32
euscale-describe-adjustment-types
new-object
v.kcv
lcg-stmd
lfc-mkdir
libquadmath-0.dll
ng_stl
domainname
pbunzip2
mnemo-convert-datatree-shares-to-sql
useshaderprogram-bad-type
pptp-portslave
spicy-stats
synfigstudio
texi2pdf
zerofree
mips-linux-gnu-as
ceph_test_cls_rgw_opstate
reconstruct
git-merge-changelog
kelbt
selfserv
llvm-stress-3.4
ristretto
s3qlstat
ssmpingd
toilet
uwsgi_lua51