pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
sha384sum
dislocate
i.ortho.photo
virt-alignment-scan
oggconvert
kwiki
fbo-viewport
qtconfig
wd
traffic_server
autoconf2.13
bwbar
XletSettingsWidgets.py
dh_prep
dh_autoreconf
elilo
tfm
d.nviz
kaddressbook-mobile
bpls
xml2marc
live-boot
mh_linkjar
Newtonsoft.Json.dll
kinect-3d-view
nettle-hash
showmount
mark_service_hotplugged
osgearth_sharedlayer
ib_qlgc_vnic_update