Update dependencies.

Cargo.toml

@@ -40,18 +40,14 @@ print-progress = []
 solver-z3 = ["dep:z3"]
 
 [dependencies]
-regex = "1.3.3"                 # Regexes used for parsing of basic .aeon constructs.
+regex = "1.10.2"                # Regexes used for parsing of basic .aeon constructs.
 lazy_static = "1.4.0"           # Used for initialization of commonly used regexes.
-biodivine-lib-bdd = ">=0.5.1, <1.0.0"
-num-bigint = "0.4.3"            # Used as infinite-precision representation in BDDs.
-num-traits = "0.2.15"           # `BigInt::to_f64`
-# The latest versions of roxmltree did some
-# changes to namespace resolution and is now
-# super slow on SBML :( We'll have to fix this
-# at some point...
-roxmltree = "0.15.1"            # Used for SBML parsing.
+biodivine-lib-bdd = ">=0.5.2, <1.0.0"
+num-bigint = "0.4.4"            # Used as infinite-precision representation in BDDs.
+num-traits = "0.2.17"          # `BigInt::to_f64`
+roxmltree = "0.18.1"            # Used for SBML parsing.
 bitvector = "0.1.5"             # Represents Boolean states of complex networks.
-z3 = { version = "0.12", optional = true }     # Used for fixed-point enumeration (and hopefully other things soon).
+z3 = { version = "0.12.1", optional = true }     # Used for fixed-point enumeration (and hopefully other things soon).
 
 [dev-dependencies]
-pretty_assertions = "1.3.0"
+pretty_assertions = "1.4.0"