pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gptsync
__init__.pyo
dvd+rw-mediainfo
fedmsg-hub
rlm_dbm_parser
geographiclib-get-geoids
gvpr
loopctrl
jhead
svnintegrate
mdb-hexdump
arb_geometry_shader4-program-parameter-input-type-draw
server.py
2to3
uic
plotrho.x
zabbix_server_pgsql
dahdi_span_types
makenucseq
seqretsetall
freebsd-lex
gatling-bench
linux-version
otags
png23d
thb
stub_package_list
dbf-rb
sb2-show
simpleburn.sh