pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amoverview
cris-linux-gnu-ld
c2050
GenVtf
fence_egenera
g.rename
inkview
build-jim-ext
dolphin
kuipc-g77
ati_draw_buffers-arbfp-no-option
collectaddys
split-logfile
apt
bp_nrdb
compalign
bbstoreaccounts
chef-shell
tune-debian-dev-group-perm
nup
esysparticle
findbugs-msv
gnome-paint
go-dag-summary
maq_plot.pl
pg_7.2to7.3_upgrade_helper.pl
partclone.f2fs
svlc
update_wdm_wmlist
yagi