pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
findnodes
fence_ipdu
g.region
r.basins.fill
guilt-patchbomb
h5cc-32
ibnlparse
jlatex2html
nss_pcache
mformat
smbios-rbu-bios-update
args
unrtf
ae-cvs-ci
envy24control
btrace
drbl-client-system-select
freefoam-autoPatch
jirc
test_load.pl
muddleftpd
hexeditor
pob-2250
oe2fps
spykeplugin
marc2ris
scrobbler
scsi_ch_swp
uwsgi_php
sudoku_generator