pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

isi2xml eric4-unittest readmult hpsa_lsmplugin ntfscat fdo10370 glsl-fs-fragcoord-zw-ortho stow dos-new-ip6 udevd editres autoclass blueman-applet cansniffer make-gnome-freecell-board kamerka launcher.properties nfc-relay encapsulate pcl_convolve dgtst-int64 pymissile-movetointercept grib_repack ttut texifyB installfont-tl PrecursorIonSelector patextract xenpvnetboot xxkb

© loginroot.com, 2016