pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

func m32r-linux-gnu-cpp mpicxx gcaps geterror-inside-begin s3put mb qmake ofm2opl transmission-remote xteddy_test xvile bluemon-query fapg gst-doc hpropd alsa_out config-edit polarssl_ssl_server osgwidgetinput partclone.hfsplus odfoutline py2dsc slonik_store_node srg scramble vdeq sliceacq imgindex wininfo

© loginroot.com, 2016