pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ogonkify
burp
syncdic
icon-name-mapping
vboxtoau
grmic
lua
qdbuscpp2xml-qt5
phcg.x
bitgen
winecpp
iwevent
cdfsigtrp
dioddate
dispcalGUI-curve-viewer
dtc_change_bsd_kernel
zcat
kshutdown
adios_lint
AutoDBI.PL
testdb.pl
latex2utf8
lldb-3.4
logster
mate-keybinding-properties
metapixel-imagesize
t1c2pfb
po_ir
ircio
xplot.org