summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-09-19 09:25:03 +0200
committerMichał Górny <mgorny@gentoo.org>2020-09-19 09:25:03 +0200
commit803bc7f7ec14462cc3f0b16676441b640ae3b409 (patch)
tree75ba838e108d23fefcd86346b4237e7912dcbb46 /sci-mathematics/agda
parentdev-python/llvmlite: Remove old (diff)
downloadgentoo-master.tar.gz
gentoo-master.tar.bz2
gentoo-master.zip
app-admin/syslog-summary: Mark ALLARCHESHEADmaster
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions