pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
pxa3xx_dump
ez-ipupdate
v.surf.rst
HsColour
remunge
ng_vol
nexcontrol
pcl_outofcore_print
doctrine-dbal
gl-3.2-get-integer-64v
gl-3.3-minmax
qm2ts
rbldnsd
online-access-registry
start-stop-daemon
evtest
x86_64-w64-mingw32-gcc-ar-win32
gnupod_convert_RIFF
goplay
ibid-memgraph
ifile.relearn.message
ipython3
grib_parser
osgprerendercubemap
trean-url-checker
dgscat-long
commit
asmping
sup-psych-ify-config-files
vobcopy