fix(minicore): fix cargo manifest

Author: W95Psp

fstar-helpers/minicore/Cargo.toml

@@ -1,14 +1,12 @@
 [package]
 name = "minicore"
-edition = "2021"
 version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
-publish = false
 
 [dependencies]
 rand = "0.9"