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

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