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

© loginroot.com, 2016