pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
rad_counter
sb
nntpgrab_server_qt
nsd-control
arb_shading_language_420pack-multiple-layout-qualifiers
vs-point_size-zero
pyrsa-keygen-2
__init__.pyo
spicy-stats
Arrays
TestInstantiator
blackbox
editfilenames
crtmpserver
GSSpeechServer
redshift-gtk
geldkarte
luadoc
mpb-split
mrtg-ping-probe
muddleftpd
nslint
ntpq
osgmemorytest
profnet_snapfun
javaldx
viva
vrms
xfce4-notifyd-config
xorp_profiler