pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
objcopy
h8300-linux-gnu-strings
ddcmon
pdf_list_callbacks
wpa_supplicant
dumprecs
midi2abc
yaps
nsopenssl.so
i586-linux-gnu-as
buildd-vlog
clonezilla
mk-build-deps
dot2tex
dwww-index++
orblist
arm-none-eabi-gcc-nm
ipropd-slave
hime-gtab2cin
libifstat-config
parl
rdf_store_add_file.pl
mkdtskel
fftnsi
pt_util
pyp
cloudstack.rb
crxvt
unhide
odt2docbook