pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
yarn
remote_gahp
ef
rgb2gif
Magick++-config
kalarm
simple_dcraw
ooffice
mdoc-export-html
rhnget
Medical2
wgrib
adnshost
airport-linkmon
apxs2
c-icap
dh_auto_clean_nant
extractor
fcitx-dbus-watcher
javamorph
gpsketcher
scan-perl-prereqs
monkeysign
openvrml-player
relion_preprocess
gord-int64
pregap4
tablix2_plot
wcw
yrmcdsd