pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euwatch-delete-alarms exciting-stateconvert sample1d GraphicsMagick-config ip6tables-save-1.4.7 kmk_mkdir svn-clean kdump oscilloscope bundle_image molecularpdos.x compute_sloc_lang ndpexhaust26 bp_parse_hmmsearch bluetoothctl randomdata create-drbl-live-by-pkg csdebugger debpkg gnutv trees2prolog i.landsat.toar icmp6 mipe2dbSTS mount.vmhgfs otrs.CleanUp.pl otrs.FillDB.pl praat saint-spc-ctrl xymonclient-netbsd.sh

© loginroot.com, 2016