pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
striplangs.php
d.thematic.area
chmorph
vp8_simple_encoder
skel
kronolith-convert-datatree-shares-to-sql
clip-flag-behavior
fbo-depth-tex1d
xzdiff
caiksaurus
catfish
CigiDummyIG
extract_compressed_fs
socket2socket
grossd
keurocalc
ace
pyste
ltpanel
macsave
magicfilterconfig
VXTestProjectCreator.pm
veoutdent
pkegcs
mount.ploop
kiwi-ui-test
mkfs.reiser4
texworks
xfe
tv_find_grabbers