pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
h8300-linux-gnu-strip
score-linux-gnu-strip
ipmi-chassis-config
RunSimTest
akonadi_vcarddir_resource
whirlpoolsum
mk-find
pamtojpeg2k
tabmerge
gl-3.2-layered-rendering-framebuffer-layered-attachments
wannier_ham.x
rpmdiff
savetextmode
sha1sum
bookletimposer
ple-config
cdtoa
add_text
gnunet-namestore-gtk
indi_moonlite_focus
expirerm
loook
morseOSS
neutron-rootwrap
osgparticleeffects
phenotypes2.txt
gtst-int32
smplayer
hr.pl
trev