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

Bump argo submodule to python3.12

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

2
deps/argo vendored

@ -1 +1 @@
Subproject commit 4a20f82456048cc8e3ed7770bcd3a0da3a9561f3
Subproject commit dbf192b35169900915a527b8ba9a77a41b7f5ee5