pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
generate_modules.pyc
ranlib
ceph_test_filestore_idempotent_sequence
fig2pdf
collisions.x
kojivmd
chainsaw
lshw-gui
openvas-nvt-sync-cron
arb_color_buffer_float-readpixels
ExtJoiner
free
rarian-sk-gen-uuid
shinken-discovery
bluetooth
ceph_test_snap_mapper
drbl-langchooser
freefoam-patchIntegrate
anytoucd
r.terraflow
camitk-cepgenerator
h5toascii
ssh-import-id
copy_reads
opensearch-discover
tcpcopy
schedulerinfo
txt2tags
wavmerge
tab2d