pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-action-analyze-ccpp-local
edg-gridftp-exists
getop
esmtp-wrapper
eulb-create-tags
glite-lb-msg-config
bluetooth-wizard
gtkdialog
kde-open
nih-dbus-tool
odbx-sql
pkgdb-admin
tex-miplevel-selection
rekall
sbcl
sdcc-sstm8
aubiotrack
drbl-nfs-conf
fdnsname
ghci-7.6.3
atdgen
nxcl
r2test
eqn2eps
teredo-mire
TestTarget_LVRT.pm
mapnik-inspect
sc_warts2pcap
treil
yaskkserv_simple