pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
elasticdump
pdfoutline
gdaltindex
git-annex-shell
dialtest
substrings.pl
jsl
change_pw
pod2usage
gl-1.0-long-dlist
urxvt256c-mld
bg5+latex
atslex
cr_checkpoint
lorder
dash-search
darktable
cpgplot
gr_psd_plot_s
ldap2fai-loc
hmm2search
gst-codec-info-0.10
tkx-ed
live-build
updatedb.mlocate
monodoc-http
butc
rmiregistry
osgtexture2D
transmission-remote-gtk