pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
2ping6
aarch64-linux-gnu-ar
zserv-g77
gdbserver
lfc-listusrmap
export-to-postgresql-record
BATCH
sg_inq
sks-db
traffic_server
vtable-dumper
postw90.x
test-filter-module
e2ps
pyacc-2.6.4
glance-control
kdocker
mincexpand
ncaptool
nvtv
pt-sift
readseq
multiruby
pod2sdf
smtube
IDExtractor
tcmodinfo
odt2sdw
xmake_anim
tv_augment_tz