pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
fence_tool
condor_submit
docbook2man
b2m
eric4-tray
figlist
xpmroot
r.surf.random
akonadi_vcard_resource
mupprnt
qtplugininfo-qt5
vcf-fix-ploidy
will_java_throw_remote
dumpcap
midi2abc
ceph_test_cls_replica_log
telnetd
smpicc
marisa-common-prefix-search
mimetex
arcmigrate
tsstamp
pcp_proc_info
portsentry
check-selinux-installation
gsplash
od-tkdesk
TOPPView
viewname
xcb