pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
isync
create_makefile
smidump
lp_solve
vipe
mpdsigjob
ntfslabel
push-pop-texture-state
rpmdev-sha256
wdmd
sigul_server_create_db
fsck
aubusy
colorinterpolate
ocs-iso
cd-iccdump
floppyd_installtest
git-merge-changelog
gmx_d
osmocom_fft
heat-api-cloudwatch
i3-dmenu-desktop
njb-playlists
lsh-export-key
smtpdcheck
Mono.Cecil.Pdb.dll
qemu-system-sh4
sinfo
hash_sff
wordlist2dawg