pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
register-ds-admin.pl
pairToBed
gifsicle
openbox-gnome-session
nv_conditional_render-dlist
netdevstat
xsane
as10k1
apertium
arbtt-import
asn1c
bbstoreaccounts
SERVER_A
eblook
Fapropos.awk
fvwm-crystal.apps
input-events
cdr2xhtml
stag-query
Lynkeos
mate-volume-control
mono-xsp4-admin
mpgtx
x86_64-w64-mingw32-ocamlmklib
on_ac_power
check-selinux-installation
selinux-policy-upgrade
ptex2pdf
RNPxl
scienceprint