Skip to content

Commit

Permalink
Update cryptol-remote-api/python/README.md
Browse files Browse the repository at this point in the history
Additional clarity around python version official support and docker images.

Co-authored-by: Ryan Scott <[email protected]>
  • Loading branch information
mccleeary-galois and RyanGlScott committed May 15, 2024
1 parent f4b2cf2 commit 5d3335b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cryptol-remote-api/python/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -198,4 +198,4 @@ guarantee any previous state on the server is cleared.

## Supported Python Versions

Currently `cryptol-remote-api` supports python `3.12`. The `cryptol-remote-api` currently uses the default ubuntu 22.04 version and will be updated in issue #1661.
Currently, `cryptol-remote-api` officially supports python `3.12`. The `cryptol-remote-api` Docker image currently uses Python 3.10 and will be updated in issue #1661.

0 comments on commit 5d3335b

Please sign in to comment.