pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
lpq.cups
distccmon-gnome
h5copy
kmk_test
llc
dlist-fdo3129-01
plymouth-log-viewer
rarian-sk-gen-uuid
rpmgraph
totem-video-thumbnailer
pbd
agave
awffull_history_regen
bindechexascii
glm
conduit-client
e2tail
freefoam-surfaceAutoPatch
gcrystal-0.14
xgsch2pcb
ido2db
stringextractor
live-f1
mouseemu
nvtv
tspidmapper
pcl_morph
tesd
tree-ppuzzle
xiphos