pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ansible-lint
euca-version
fedfs-lookup-junction
gmt2kml
svnbackport
cdda-player
vpxdec
minimodem
pbmtog3
nfs4_editfacl
nxproxy
nycheck-g77
pcp_node_count
lesscpy
scotch_gbase
sg_raw
smaclient
mkimapdcert
dpkg-depcheck
dtc_install_centos
flam3-render
remove-tel
gearmand
icesh-experimental
GNUACEProjectCreator.pm
nc6
ruby2.1
multigem
iordump
vobcopy