Builds - Read the Docs

The Idris Language

EN

Version latest / #8307275 Started 5 years, 4 months ago	`7855f862`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8263639 Started 5 years, 5 months ago	`f76dac0a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8263167 Started 5 years, 5 months ago	`2dad1eb3`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8250312 Started 5 years, 5 months ago	`0cf17280`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8250311 Started 5 years, 5 months ago	`b2c46a1e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221634 Started 5 years, 5 months ago	`ce61f607`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221627 Started 5 years, 5 months ago	`011db5fa`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221620 Started 5 years, 5 months ago	`5ce5a360`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221614 Started 5 years, 5 months ago	`47e63f37`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8185720 Started 5 years, 5 months ago	`8f66bed9`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8185705 Started 5 years, 5 months ago	`d063e6a8`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8120961 Started 5 years, 6 months ago	`595cfb47`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8120957 Started 5 years, 6 months ago	`a2440995`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8120953 Started 5 years, 6 months ago	`347b63f2`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8060580 Started 5 years, 6 months ago	`1a7fa350`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4 5 6 7 8

9

10 11 12 13

...

115 116 117 118