8 lines
159 B
TOML
8 lines
159 B
TOML
# This file is automatically @generated by Cargo.
|
|
# It is not intended for manual editing.
|
|
version = 3
|
|
|
|
[[package]]
|
|
name = "dependent-types"
|
|
version = "0.1.0"
|