pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dbscan-bin aggregate-ios a2x powerpc64-linux-gnu-ld xtensa-linux-gnu-ar visualinfo grid-cert-info g_clustsize_d ktorrent malaga mpitests-osu_alltoall clogprint xwdtopnm opencv_traincascade arb_color_buffer_float-readpixels uic-qt5 pixeltool-qt5 sinjdoc qgpumode isqlw-iodbc-vt aconnectgui a+ turnadmin setforward fauhdli gnuais tracesummary muse-song-convert osgspotlight transmission-remote-cli

© loginroot.com, 2016