pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gcc
ipa-server-install
ip6tables-save-1.4.7
java-service-wrapper
termidx
rb-archfix
mtn
mpitests-IMB-IO
ext_packed_depth_stencil-getteximage
gl-1.0-dlist-beginend
pinentry-gtk-2
narcissus-zeromq-source
syndaemon
les
bp_biofetch_genbank_proxy
dbus-run-session
k3d-uuidgen
kgb-add-project
bg-installer
libdecodeqr-simpletest
apply_diff_relay_logs
ocamlify
pbget
pcl_compute_hausdorff
pcl_multiscale_feature_persistence_example
python2-coverage
taurusimage
test_scanone_mr.R
phtmltext
wdf-cat