Builds - Read the Docs

The Idris Language

EN

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
Version latest / #8060579 Started 5 years, 6 months ago	`c536a6e4`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8060253 Started 5 years, 6 months ago	`5549d872`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8060242 Started 5 years, 6 months ago	`3a5f9623`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8060233 Started 5 years, 6 months ago	`baf5a22e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8060215 Started 5 years, 6 months ago	`62b7aaba`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7992321 Started 5 years, 7 months ago	`8362faae`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version v1.3.1 / #7984551 Started 5 years, 7 months ago	`1510fce9`	v1.3.1 Version v1.3.1 Builds For version v1.3.1 Tag v1.3.1 Documentation Active Built
Version stable / #7984550 Started 5 years, 7 months ago	`1510fce9`	stable Version stable Builds For version stable Tag stable Documentation Active Built

1 2 3 4 5 6 7 8 9

10

11 12 13 14

...

120 121 122 123