gallant/crates.io-index
1
0
Fork 0
mirror of https://github.com/rust-lang/crates.io-index.git synced 2024-05-16 00:06:28 -05:00
Code Issues Packages Projects Releases Wiki Activity

Create crate verus

Browse source
This commit is contained in:
bors 2024-03-13 18:59:35 +00:00
parent 8b7f7b7de7
commit e39f029ce2
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
ve/ru/verus Normal file
View file

@ -0,0 +1 @@
{"name":"verus","vers":"0.0.0","deps":[],"cksum":"f36b4b40ffd5aa591b0a5e8e734ff185d95a4d1f847c5c079fadcc3d52b1241a","features":{},"yanked":false}