pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dpkg-mergechangelogs
rpmbuild-md5
flow-rptfmt
tsql
autopoint
autogsdoc
build-jim-ext
night_darks
blkdiscard
vmmouse_detect
lex.py
gmod_materialized_view_tool.pl
cinnamon-looking-glass
cvsd
streams
gfan_stats
gfs2_fsck
grdview
maf-convert
create-bridge-sql.pl
getfem-config
nfc-dep-target
wps2html
ml-nlffigen
mricron-npm
ploop-balloon
tomahawk3
RBabelfishService.py
trash-put
vbutil_keyblock