pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ogonkify botan-config cf-monitord mount.fedfs i.modis.qc ipvsadm-restore ktimer wpg2svg sortshp monkeysphere cfgmaker munindoc horde-translation postdrop pm clc_synchronize.mpi bp_parse_hmmsearch dictzcat smascii gsettings-schema-convert xpm2ps_d fitscopy ali mate-network-properties seek_script hy2 strip-nondeterminism troff2text vam vbmakeresid

© loginroot.com, 2016