pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cmake-fedora-pkgdb
gpaw-upfplot
qhold
analyze
substrings.pl
lib3ds-config
memstat
fence_legacy
xmltidy
ext_framebuffer_multisample_blit_scaled-blit-scaled
qml
grpconv
cweave
colcrt
ioprof
basename
ex3_initiator
wlmscpfs
droopy
rmiregistry
kamdbctl
futex-contention-report
yuvkineco
simul-gridmap
neutron-hyperv-agent
orbd
pocketsphinx_batch
split_libraries_fastq.py
quickml-analog
sfmtcvt