pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
curator
euca-delete-route
pdfoutline
globus-makefile-header
guilt-commit
lockname
ikiwiki-makerepo
geotifcp
pamcomp
mrtg2pcp
dbinfo
attribute0
pq2-info-server
apt
pv_export
denemo
gr_plot_short
i.topo.corr
ppmimgvquant
bonobo-slay
stag-autoddl
obrms
photon
prerex
qasconfig
lqt_transcode
science-neuroscience-cognitive
policyvers
IDPosteriorErrorProbability
Zipper