Binary: agda

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