Changed deps, rename modules, remove oracles #987

Open

uwiger wants to merge 1 commits from uw-rename-fix-deps into master

pull from: uw-rename-fix-deps

merge into: :master

:master

:uw-aci

:prh-docs-fix

:uw-mldsa-crypto

:uw-rename-fix-deps

:bump_gmserialization

:zomp

:ceres

:gh-pages

:gh-485

:dependabot/pip/dot-github/workflows/pygments-2.15.0

:old_ceres

:ghallak/split-typechecker

:gh-400

:new_ceres

:loop-op

:type-env

:ghallak/229

:option-force-msg

:6.0.2

:lima

:call-fee

:fix-ets

:mergesort

:lima-master-merge

:optionally_generate_aci

:changelog-update

:make-return-reserved-word

:radrow-patch-2

:aens-subdomains

:aens-at-full-node-ver

:pt-166866806-claim-with-name-fee

:extend-aci-interface

:generalized_accounts_no_abi_move

:roma

:quickcheck-ci

Conversation 0 Commits 1 Files Changed 51

+799 -1311

1 Commits

Author	SHA1	Message	Date
Ulf Wiger	b116d77883	Changed deps, rename modules, remove oracles	2025-03-10 13:09:30 +01:00