pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ath_info
h8300-linux-gnu-elfedit
enscript
ftdiff
kwin_killer_helper
megaraid_lsmplugin
par
sar2pcp
perldl
qmf-tool
collink
autoconf2.64
ax25mond
blueman-manager
cdhit
dialign-tx
exrblur
git-import-dscs
gr_spectrogram_plot_c
trjorder
hashcash
truncate_tracks
owish
pfstmo_fattal02
sleep_test
qhelpgenerator
squidtaild
subtle
OpenMSInfo
odt2bib