bors 036e510847 Collapse index into one commit ... Previous HEAD was cbe1434269, now on the `snapshot-2024-03-11` branch More information about this change can be found [online] and on [this issue]. [online]: https://internals.rust-lang.org/t/cargos-crate-index-upcoming-squash-into-one-commit/8440 [this issue]: https://github.com/rust-lang/crates-io-cargo-teams/issues/47		2024-03-11 08:23:15 +00:00
..
prusst	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prust	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prust-lib	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prust_core	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prust_test	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusti-contracts	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusti-contracts-proc-macros	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusti-specs	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusti-std	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusto	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusto-macros	Collapse index into one commit	2024-03-11 08:23:15 +00:00
prusto-rs	Collapse index into one commit	2024-03-11 08:23:15 +00:00