anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity

Update juvix-stdlib to point to main ref of the juvix-stdlib repo (#2911)

Browse Source 
This PR updates the juvix-stdlib submodule to the main ref of the
juvix-stdlib repo.
This commit is contained in:
Paul Cadman 2024-07-19 10:58:54 +01:00 committed by GitHub
parent 3609b213f6
commit 32f7bd2500
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
juvix-stdlib

@ -1 +1 @@
Subproject commit 61bc0778e53f4e6e13d929072179a855ea9ad9d2
Subproject commit 16211500dc59a944f851fbaeeef703fdd09163fa