pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dzedit-gfortran
euare-groupremoveuser
eulb-set-lb-policies-for-backend-server
fedmsg-announce
amqp-publish
pamtohdiff
dbcolmovingstats
pminclude
varnishsizes
vcf-annotate
wmllint
wsl
darktable-cltest
antRun.bat
git-refactor
cmstat
gst-config
polarssl_pk_sign
lightspark
build-lives-rfx-plugin
MonoDevelop.Projects.Formats.MSBuild.exe.config
powerd-config
peg
sdf2fps
evtxinfo.py
pair_align
sortmail
am.pl
swish-search
xpenguins