pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
btreplay
dvisvgm
.fipscheck.hmac
splitxyz
nymerge-gfortran
plxload
sdcc-sdastlcs90
sediff
tmftools
thunar
tryton
vtkWrapTcl
axi
nspostgres.so
asranlib
coala
upgrade-db
gdal_trace_outline
debuild
kupfer
polarssl_aescrypt2
chktri
mate-volume-control
mcu8051ide
mkc_get_deps
obexfs
telegram
paprefs
paulstretch
char2sp