pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
generate_modules.pyo
hltest
gml2gv
soffice
mercurial-convert-repo
nag-convert-sql-shares-to-sqlng
fd_ef.x_mpich
textools
xliff2oo
packetforge-ng
bsf
dcm_create_object
x86_64-linux-gnu-gcc-ranlib
gnomecatalog
gtkguitune
indi_gpusb
poweroff
getpdfpageobject
uic
makepplog
mprandomwalk
i686-w64-mingw32-ocamlrun
iasecc-tool
pads-report
phylip
make_otu_table.py
hlogin
sndfile-spectrogram
dfg2ascii
spectgen