pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aqbanking-config
condor_reschedule
logsave
fltk-config-i686
foomatic-compiledb
fprintd-delete
g_membed_d
heimdal-kpasswd
id3convert
mpitests-osu_scatter
arb_uniform_buffer_object-bindbuffer-general-point
razor-notificationd
syslog-ng-ctl
usbhid-dump
tkiptun-ng
bowtie2-inspect-s
cvs-inject
dahdi_waitfor_span_assignments
start_erl
ct_run
freeplane
gant
sysinfo.gap
blockmode
r.mfilter.fp
depdiagram-generate
nodecachefilereader
pdfmod
mytool
znol