Skip to content

Commit f11ef22

Browse files
committed
Update README to include v0.7.0
1 parent 392277b commit f11ef22

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ Multi-arch, multi-distro Docker images for Idris 2, primarily aimed for devconta
44

55
Architectures: `amd64`, `arm64`
66

7-
Idris Versions: `v0.5.1`, `v0.6.0`, `latest` (Up to date with [Idris2/main](https://github.com/idris-lang/Idris2/tree/main) - recompiled daily)
7+
Idris Versions: `v0.5.1`, `v0.6.0`, `v0.7.0`, `latest` (Up to date with [Idris2/main](https://github.com/idris-lang/Idris2/tree/main) - recompiled daily)
88

99
## Table of Contents
1010

0 commit comments

Comments
 (0)