2021-09-23 12:45:25 +02:00
|
|
|
[patch.crates-io]
|
|
|
|
gmp-mpfr-sys = { git = "https://gitlab.com/tspiteri/gmp-mpfr-sys.git" }
|
|
|
|
|
2020-06-12 14:11:42 +02:00
|
|
|
[workspace]
|
2021-06-02 22:32:30 +02:00
|
|
|
members = ["kalk", "cli"]
|
2020-06-12 14:11:42 +02:00
|
|
|
|
|
|
|
[profile.release]
|
|
|
|
panic = "abort"
|