pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cloud-init dbmail-util django-admin isomaster lspst hydra_pmi_proxy mpif77 glx-create-context-invalid-render-type-color-index Pixie_show turbo_davidson.x_openmpi wd_role sfconv dacslist drbl-live-boinc elki rsmtp fsharpi icewm-gnome psmwatch divertctrl amd64-mingw32msvc-gprof osguserdata otrs.AddCustomerUser.pl scafc pfstmo_durand02 python3.4-dbg pviews3 make_per_library_sff.py saga_cmd shnjoin

© loginroot.com, 2016