diff --git a/mi/de/miden-air b/mi/de/miden-air
index bced9de17a5..8ae65af5088 100644
--- a/mi/de/miden-air
+++ b/mi/de/miden-air
@@ -7,3 +7,4 @@
 {"name":"miden-air","vers":"0.7.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand-utils","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev","package":"winter-rand-utils"},{"name":"vm-core","req":"^0.7","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"miden-core"},{"name":"winter-air","req":"^0.6","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-air"}],"cksum":"5fa086b50e9fc3f808e171cb69f81fe464efbc01f996df3db0e450caaf070749","features":{"default":["std"],"std":["vm-core/std","winter-air/std"]},"yanked":false,"rust_version":"1.73"}
 {"name":"miden-air","vers":"0.8.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand-utils","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev","package":"winter-rand-utils"},{"name":"vm-core","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"miden-core"},{"name":"winter-air","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-air"},{"name":"winter-prover","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-prover"}],"cksum":"74fe3da3cee72178aa6d8cdd0e88a4d11a983f6c79a0257abfb6f04056177bee","features":{"default":["std"],"internals":[],"std":["vm-core/std","winter-air/std"]},"yanked":false,"rust_version":"1.75"}
 {"name":"miden-air","vers":"0.9.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand-utils","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev","package":"winter-rand-utils"},{"name":"vm-core","req":"^0.9","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"miden-core"},{"name":"winter-air","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-air"},{"name":"winter-prover","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-prover"}],"cksum":"b6de270a236290b439e86ebe6f5d736493e73c160f4291b6a32059e190431bae","features":{"default":["std"],"internals":[],"std":["vm-core/std","winter-air/std"]},"yanked":false,"rust_version":"1.75"}
+{"name":"miden-air","vers":"0.9.1","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand-utils","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev","package":"winter-rand-utils"},{"name":"vm-core","req":"^0.9","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"miden-core"},{"name":"winter-air","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-air"},{"name":"winter-prover","req":"^0.8","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal","package":"winter-prover"}],"cksum":"c695ee3a51649711a6c202e4c7280222b66e987c8abefce9090fdc49412bbcbe","features":{"default":["std"],"internals":[],"std":["vm-core/std","winter-air/std"]},"yanked":false,"rust_version":"1.75"}