pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alpha-linux-gnu-strip hppa64-linux-gnu-strings cksum dspam_pg2int8 man5x gspath httping arb_texture_buffer_object-minmax arb_vertex_type_10f_11f_11f_rev-api-errors powwow-movie2ascii pwauth x3270 xwud envy24control bison.yacc faketime usertrees gnome-btdownload gurgitate-mail hbro kamerka omxregister-bellagio sass2css lpd mate-panel-test-applets osgearth_package feedvalidator SwapValuation renattach imhead

© loginroot.com, 2016