pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cdserv-g77
fedmsg-trigger
r.out.pov
makekdewidgets
fancontrol
monodocer
pmgetopt
iptab
ext_transform_feedback-immediate-reuse
fp-condition_codes-01
wbemdi
getflags
aewm++_appbar
bibledit-rdwrt
concordance
db5.3_log_verify
dictunformat
elilo
x86_64-linux-gnu-gcov-4.9
hmm2pfam-pvm
checkgroups.pl
sendinpaths
mono-server2-admin
ompi-ps
eindent
ossim-btoa
science-viewing
simulavr-disp
trinity
uwsgi_alarm_xmpp