pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ogonkify
botan-config
cf-monitord
mount.fedfs
i.modis.qc
ipvsadm-restore
ktimer
wpg2svg
sortshp
monkeysphere
cfgmaker
munindoc
horde-translation
postdrop
pm
clc_synchronize.mpi
bp_parse_hmmsearch
dictzcat
smascii
gsettings-schema-convert
xpm2ps_d
fitscopy
ali
mate-network-properties
seek_script
hy2
strip-nondeterminism
troff2text
vam
vbmakeresid