[anneal][v2] Initial commit of exocrate

Co-authored-by: Mark Dittmer <markdittmer@google.com>
gherrit-pr-id: G34qjom3lz7cc6hd57tgp44t4pzlstdhj

Author: joshlf

anneal/v2/Cargo.lock

@@ -0,0 +1,42 @@
+[workspace]
+members = [".", "exocrate"]
+
+[package]
+name = "cargo-anneal"
+edition = "2024"
+version = "0.1.0-alpha.22"
+description = "Formally verify that your safety comments are correct."
+categories = [
+  "development-tools::cargo-plugins",
+  "development-tools::testing",
+  "compilers",
+  "mathematics",
+  "security",
+]
+keywords = ["verification", "cargo", "plugin", "unsafe", "lean"]
+authors = ["Joshua Liebow-Feeser <joshlf@google.com>"]
+license = "BSD-2-Clause OR Apache-2.0 OR MIT"
+repository = "https://github.com/google/zerocopy/tree/main/anneal"
+publish = true
+
+exclude = [".*", "testdata"]
+
+[package.metadata.exocrate.linux.x86_64]
+sha256 = "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
+url = "https://example.com/linux-x86_64.tar.zst"
+
+[package.metadata.exocrate.macos.x86_64]
+sha256 = "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
+url = "https://example.com/macos-x86_64.tar.zst"
+
+[package.metadata.exocrate.linux.aarch64]
+sha256 = "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
+url = "https://example.com/linux-aarch64.tar.zst"
+
+[package.metadata.exocrate.macos.aarch64]
+sha256 = "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
+url = "https://example.com/macos-aarch64.tar.zst"
+
+[dependencies]
+exocrate = { path = "./exocrate" }
+toml_const = "1.2.1"

anneal/v2/Cargo.toml

@@ -0,0 +1,22 @@
+[package]
+name = "exocrate"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
+dirs = "6.0.0"
+fs4 = "1.1.0"
+log = "0.4.29"
+sha2 = "0.11.0"
+sha2-const = "0.1.3"
+tar = "0.4.45"
+tempfile = "3.27.0"
+toml_const = "1.2.1"
+ureq = "3.3.0"
+zstd = "0.13.3"
+
+[target.'cfg(unix)'.dev-dependencies]
+libc = "0.2"
+
+[target.'cfg(windows)'.dev-dependencies]
+windows-sys = { version = "0.52", features = ["Win32_Storage_FileSystem", "Win32_Foundation", "Win32_System_IO"] }