pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
checkmodule
signset-editor
dpm-replicate
git-receive-pack
psvelo
latex2png
lfc-dli
mirmon
mpitests-osu_alltoall
cp.dll
dbcolpercentile
vsplitmodule
sc
qdoc
sequel
tm_dratex
drumstick-drumgrid
grokevt-addlog
cmbuild
langident
llvm-dis
mafft-homologs.rb
nescc-ncg
perlpanel-item-edit
dicomimageviewer
moin-mass-migrate
remmina
ssm
tekka
znol