pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
2ping6
pico
cris-linux-gnu-size
ceph_smalliobenchrbd
svm-subset.py
LC_MESSAGES
pammixinterlace
accton
lcp_crtpol2
bogoupgrade-tokyocabinet
freefoam-setsToZones
fsodeviced
ftjam
idle-python3.4
bputa
sdrmend
botan-config-1.10
warp
lp-recipe-status
mia-3dmaskseeded
IKVM.Reflection.dll
openchange_provision
pcl_in_hand_scanner
treesize
sass-convert
smbnetfs
rsyncd-start
snapcleaner
ncc
xcal_cal