Builds - Read the Docs

The Idris Language

EN

Version latest / #2474245 Started 9 years, 1 month ago	`9dc71057`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2474228 Started 9 years, 1 month ago	`83ff2b65`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2474215 Started 9 years, 1 month ago	`c4f31c4a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2473216 Started 9 years, 1 month ago	`9afcb724`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2473119 Started 9 years, 1 month ago	`efda0d04`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2472978 Started 9 years, 1 month ago	`84fa0bbc`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2470924 Started 9 years, 1 month ago	`e10c2054`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version stable / #2470806 Started 9 years, 1 month ago	`11c5ceaa`	stable Version stable Builds For version stable Tag stable Documentation Active Built
Version latest / #2470678 Started 9 years, 1 month ago	`11c5ceaa`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2470666 Started 9 years, 1 month ago	`5bd490b6`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2470662 Started 9 years, 1 month ago	`0f65b89c`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2469487 Started 9 years, 1 month ago	`abe0f322`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2468603 Started 9 years, 1 month ago	`be1569e6`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2466457 Started 9 years, 1 month ago	`63e3ef91`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2466009 Started 9 years, 1 month ago	`be54e85a`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4

...

115 116 117 118 119 120 121

122

123