pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dumpRumorMill
cube_remap2
gdm-screenshot
gotype
gparted
ibstat
kde-cp
ktrash
mbadblocks
pmpause
qmleasing
ldactoasc
tar
avcdelete
clang-check
dadadodo
update-drbl-client-kernel-from-server
pepwheel
printforward
x86_64-w64-mingw32-gcc-ar-posix
sync_unix_groups.php
kradio4-convert-presets
drmm
mysqmail-dovecot-logger
errhdr
obexautofs
otrs.Scheduler.pl
parcimonie-torified-gpg
starpu_top
systemd-cat