pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
beakerlib-testwatcher
ibdiagpath
ping6
kdb5_util
ltspfs_umount
parted
dbjoin
arb_copy_buffer-get
occlusion_query_order
rabbitmq-server
tiki2po
mergecap
reloc65
xscreensaver
bowtie2-inspect-l
dxfsphere
pngtoexr
fcitx-diagnose
fpdoc-2.6.4
freefoam-fluentMeshToFoam
mifare-classic-read-ndef
hl-kate-convert
lp-force-branch-mirror
mia-3dcombine-mr-segmentations
qemu-ppc64
sanitizer
tart
uim-help
wpa_action
xenstore-list