Roberto Bampi 99ec3aa8a3 scip: update crate to version 0.3.1. ... While the git repo has been updated constantly, crates.io has only now been updated after more than a year of activity.		2023-10-26 16:20:06 +02:00
..
src	scip: update crate to version 0.3.1.	2023-10-26 16:20:06 +02:00
tests/slow-tests	Auto merge of #15618 - shogo-nakano-desu:internal/port-anymap, r=Veykril	2023-10-09 08:40:54 +00:00
build.rs	Fix typo in build.rs	2022-06-26 10:09:45 +00:00
Cargo.toml	scip: update crate to version 0.3.1.	2023-10-26 16:20:06 +02:00