GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 01:17:40 +03:00
Code Issues Projects Releases Wiki Activity

Add caveat to cryptol-remote-api README regarding shipped containers default python version.

Browse Source
This commit is contained in:
Ryan 2024-05-15 09:07:56 -06:00
parent 6a69caeb0c
commit f4b2cf254a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/python/README.md
View File

@ -198,4 +198,4 @@ guarantee any previous state on the server is cleared.
## Supported Python Versions
Currently `cryptol-remote-api supports` python `3.12` and is untested on other 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.