Builds - Read the Docs

The Idris Language

EN

Version latest / #10643288 Started 4 years, 2 months ago	`ccbdb4b8`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10643287 Started 4 years, 2 months ago	`ccbdb4b8`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10633072 Started 4 years, 2 months ago	`87577e31`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10633071 Started 4 years, 2 months ago	`87577e31`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10610198 Started 4 years, 2 months ago	`93cfe987`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10610197 Started 4 years, 2 months ago	`93cfe987`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10585963 Started 4 years, 2 months ago	`853e4533`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10585962 Started 4 years, 2 months ago	`853e4533`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10585778 Started 4 years, 2 months ago	`b7a191bb`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10585777 Started 4 years, 2 months ago	`b7a191bb`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10562466 Started 4 years, 2 months ago	`bbd0f286`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version v1.3.2 / #10549104 Started 4 years, 2 months ago	`79104f44`	v1.3.2 Version v1.3.2 Builds For version v1.3.2 Tag v1.3.2 Documentation Active Built
Version stable / #10549103 Started 4 years, 2 months ago	`79104f44`	stable Version stable Builds For version stable Tag stable Documentation Active Built
Version latest / #10549101 Started 4 years, 2 months ago	`10fd4e71`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8936847 Started 5 years, 1 month ago	`a93d8c9d`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4 5 6 7

8

9 10 11 12

...

120 121 122 123