pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ogonkify burp syncdic icon-name-mapping vboxtoau grmic lua qdbuscpp2xml-qt5 phcg.x bitgen winecpp iwevent cdfsigtrp dioddate dispcalGUI-curve-viewer dtc_change_bsd_kernel zcat kshutdown adios_lint AutoDBI.PL testdb.pl latex2utf8 lldb-3.4 logster mate-keybinding-properties metapixel-imagesize t1c2pfb po_ir ircio xplot.org

© loginroot.com, 2016