pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bcfg2-crypt
ceph_psim
gnome-control-center
eulb-configure-healthcheck
NSPanelTest
gencnval
fdo24066
glx-swap-event
iotk_print_kinds.x
create-ocs-tmp-img
dh_golang
gr_time_plot_i
MP4Client
indi_lx200ap
knpplayer
krotation.kss
t1dotlessj
macho-dump
xpi-unpack
udv
pbyacc
optical_write_test
procmeter3-gtk3
tth-hash
update-inetd
socklog
swfextract
fw_setenv
wmdate
tv_grab_combiner