bump mib dependencies #83

Merged
muellerr merged 4 commits from bump-mib-deps into main 2023-09-26 18:24:11 +02:00
2 changed files with 4 additions and 4 deletions
Showing only changes of commit 777630c499 - Show all commits

View File

@ -23,8 +23,8 @@ version = "1"
optional = true optional = true
[dependencies.satrs-core] [dependencies.satrs-core]
# version = "0.1.0-alpha.1" version = "0.1.0-alpha.1"
git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git" # git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git"
branch = "main" branch = "main"
# rev = "35e1f7a983f6535c5571186e361fe101d4306b89" # rev = "35e1f7a983f6535c5571186e361fe101d4306b89"

View File

@ -20,8 +20,8 @@ quote = "1"
proc-macro2 = "1" proc-macro2 = "1"
[dependencies.satrs-core] [dependencies.satrs-core]
# version = "0.1.0-alpha.1" version = "0.1.0-alpha.1"
git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git" # git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git"
branch = "main" branch = "main"
# rev = "35e1f7a983f6535c5571186e361fe101d4306b89" # rev = "35e1f7a983f6535c5571186e361fe101d4306b89"