pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

c6x-linux-gnu-ranlib buildrealms fc-list h5c++-32 lgroupmod autopvf rlogTOslog2 arb_seamless_cubemap fs-discard-exit-2 nv_conditional_render-begin-zero ao-test-baro bowtie2-build debian-edu-hd-warn silent freefoam-interDyM icedove flipbook libprelude-config matita.opt mia-2dserieshausdorff mosquitto_pub mupdf-x11 pcl_pcd_video_player select-boot-kernel-initrd pelican-quickstart simpleburn CompNovoCID imrot wmclockmon-config zoomer

© loginroot.com, 2016