pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
clusterBed
m32r-linux-gnu-ld
showfoto
go
gg_sub_area_check
g_mindist_d
ibccquery
intel_forcewaked
ld
ncview
mime-construct
momctl
ldap-createuser-krb5
hmmfetch
distinkt-travisyml
polarssl_sha1sum
lilypond-invoke-editor
lilysong
PyMB
morsegen
osgmultitexture
osgpagedlod
partclone.hfsp
pspp-dump-sav
python2-misaka
dumppdf
qcollectiongenerator
stunc
httpindex
tcl2c++