Read the Docs logo
Navigation
Projects
Signed in as: AnonymousUser
Settings Log out
Help
Support Docs Getting started Status
Sign up
Log in
agda
EN
Versions 22 Builds 9184
Version
All versions
Privacy
Any Public versions Private versions
Visibility
Any Hidden versions Visible versions
Sort by
Recently built Least recently built Frequently built Least frequently built Name Name (descending)
v2.6.0.1
agda
#10184069
agda #10184069
48c9d8fe
97 seconds
v2.6.0
agda
#8904854
agda #8904854

Version locked, retrying in 5 minutes.

Finished
v2.5.4.2
agda
#8020346
agda #8020346
97564e33
206 seconds
v2.5.4.1
agda
#7511878
agda #7511878
6b1d87f9
90 seconds
v2.5.4
agda
#7285210
agda #7285210
3b17931b
159 seconds
v2.5.3
agda
#5951588
agda #5951588
b6e050c5
88 seconds
v2.5.2
agda
#5943913
agda #5943913
eafc9364
90 seconds