pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

2ping6 aarch64-linux-gnu-ar zserv-g77 gdbserver lfc-listusrmap export-to-postgresql-record BATCH sg_inq sks-db traffic_server vtable-dumper postw90.x test-filter-module e2ps pyacc-2.6.4 glance-control kdocker mincexpand ncaptool nvtv pt-sift readseq multiruby pod2sdf smtube IDExtractor tcmodinfo odt2sdw xmake_anim tv_augment_tz

© loginroot.com, 2016