Tactic failure: setoid rewrite failed: Nothing to rewrite.

src/Assembly/WithBedrock/SymbolicProofs.v

src/Assembly/WithBedrock/SymbolicProofs.v

Process completed with exit code 2.

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 15, characters 25-32: Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 155, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 155, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 184, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 184, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 184, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 4-line warning: File "./src/Util/NatUtil.v", line 251, characters 28-36: Warning: Notation mod_same is deprecated since 8.17. Use Div0.mod_same instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 4-line warning: File "./src/Util/NatUtil.v", line 251, characters 28-36: Warning: Notation mod_same is deprecated since 8.17. Use Div0.mod_same instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 271, characters 10-17: Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Util/NatUtil.v", line 271, characters 10-17: Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 53, characters 35-42: Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 4-line warning: File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36: Warning: Notation mod_same is deprecated since 8.17. Use Div0.mod_same instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 4-line warning: File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36: Warning: Notation mod_same is deprecated since 8.17. Use Div0.mod_same instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Could not find a terminator for 3-line warning: File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17: Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]