Commit 39d1ecf

committed

update prusti-server dependencies

1 parent 1e6007c commit 39d1ecfCopy full SHA for 39d1ecf

6 files changed

+648

-1240

lines changed

Cargo.lock
Cargo.toml
prusti-server
- Cargo.toml
- src

6 files changed

+648

-1240

lines changed

Comments

(0)