{"name":"rumpsteak-theory","vers":"0.8.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rumpsteak-types","req":"^0.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ea85b3c3f511b0e10fc5eb801483fac9f79b31eb3e85f090e1d1314ff4fc0333","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-01-06T14:21:14Z"}
{"name":"rumpsteak-theory","vers":"0.8.1","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rumpsteak-types","req":"^0.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eea7c4d3858dbf4134789e5949873842c85117a36f54f3ed2765e89c1fdfbd60","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-01-06T19:51:25Z"}
{"name":"rumpsteak-theory","vers":"0.8.2","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rumpsteak-types","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2e9bccab2790c2e106d61905f8f30660ef84c4230f1e5393108914f3367b2256","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-01-09T21:31:42Z"}
{"name":"rumpsteak-theory","vers":"0.9.1","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rumpsteak-types","req":"^0.9.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1743add78dd0fdbd8fc79c6baafdc66be1f219821e7d67808398429b2a227bdb","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-01-17T16:32:45Z"}