pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
m32r-linux-gnu-as
brltty
nut-monitor
nv_conditional_render-copypixels
xkbwatch
mount.aptfs
aranym
strip
sync-accounts-createuser
designate-central
get-drbl-conf-param
fig2sxd
cdbstats
dh_haskell_shlibdeps
jruby.rb
newsax
parallel-fasta
go2pathlist
lps2pbes
orte-iof
orterun
helpers
rbootd
slrn_getdescs
tzc
running-in-container
linux.uml
newnfsvserver
vtkHashSource-6.1
ackinfo.cgi