pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bacula-tray-monitor
docbook.rb
pftp
g_density_d
sloxwizard
mksock
objdump
msr-cpuid
nautilus-file-management-properties
esp_mpich
ext_texture_array-compressed
BackgroundLaunch.py
sysbench
asn1c
ebook-viewer
ceilometer-alarm-evaluator
average_labels
fit_spline_dfield
cvsdelta
pepwindow
fs-uae-netplay-server
runhaskell
pbmtoimgv
pushpin-handler
sort_otu_table.py
grxvt
OpenSwathChromatogramExtractor
uim-xim
wa_keyring
yaz-json-parse