pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dzedit-g77
kdesvnaskpass
krb5-config
mpichversion
parrot_nci_thunk_gen
stty.pl
arb_vertex_program-getlocal4-errors
clearbuffer-display-lists
glx-oml-sync-control-waitformsc
integer-errors
qtdemo
lrelease-qt4
rpmgraph
telinit
watchdog
ace_gperf
msp430-c++filt
courieresmtpd
patindex
guile-1.8
ipsvd-cdb
ladr_to_tptp
txt2las
liblas-config
muddleftpd
oarmonitor
powerd
dgord-int32
plaympeg
MKASC2BK