summaryrefslogtreecommitdiff
tag namev2.6.1.1
Tagged objectcommit fce01db8f9...
downloadagda-2.6.1.1.zip
agda-2.6.1.1.tar.gz
agda-2.6.1.1.tar.bz2