pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
corosync-cfgtool
ia64-linux-gnu-cpp
c++
dumpdb
nautilus-file-management-properties
arb_transform_feedback2-change-objects-while-paused
futurize
repodiff
nrparms
powerpc64le-linux-gnu-dwp
composite-gui
eric5
r.texture
slice2cpp
ioreplay
kuvert
llvm-config
mafft-fftnsi
mh_unpatchpoms
ml-burg
obexautofs
vewend
openshot-render
cws-4d.x
wireless_ext
text2ngram
pydoc3
ytdl
sdfapi
vdb-decrypt.2.3.5