creusot-contracts-proc is used at run time in 1 crate.

Depender (with downloads and own rev deps) creusot-contracts-proc version
130 creusot-contracts ^0.3.0