pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aarch64-linux-gnu-elfedit
ppmtopict
ocaml-bdump
ssh
parrot-nqp
dbcolstats
lrelease-qt4
R
speexenc
lcp2_crtpol
lxvile
xasy
auchk
cryptkeeper
pdf2dcm
wnpp-alert
laps
gcm-calibrate
mirror-flip
send
webcheckout
pbuilder-user-mode-linux
pegasus-remove
savanna
phenohyper.txt
sc_tracediff
srch_strings
torrus
unison-2.40.102
z88x