formal-driver-0.0.1 is not a library.
formal-driver
This release (0.0.1) is a placeholder. It reserves the formal-driver name on
crates.io and contains no functionality: the binary prints a notice and exits
with a non-zero status. It verifies nothing.
formal-driver is part of cargo-formal, developed by COOLJAPAN OU (Team KitaSan).
License
Proprietary. formal-driver is proprietary software of COOLJAPAN OU. It is
not licensed under Apache-2.0 or any other open-source license. All rights
reserved; see the LICENSE file in this package.