Could not find a terminator for warning: File "./test/Tactics/napply.v", line 17, characters 44-58: Warning: Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11. snrapply was renamed to snapply and will be removed soon [deprecated-tactic-notation-since-2025-03-11,deprecated-since-2025-03-11,deprecated-tactic-notation,deprecated,default] test/Tactics/napply.vo (real: 0.11, user: 0.05, sys: 0.05, mem: 146892 ko) test/WildCat/Opposite.vo (real: 0.26, user: 0.18, sys: 0.07, mem: 360152 ko) theories/Axioms/Univalence.vo (real: 0.08, user: 0.03, sys: 0.05, mem: 104908 ko) theories/Classes/implementations/ne_list.vo (real: 0.12, user: 0.06, sys: 0.05, mem: 152060 ko) theories/Functorish.vo (real: 0.11, user: 0.06, sys: 0.05, mem: 136296 ko) theories/Tactics/EquivalenceInduction.vo (real: 0.64, user: 0.56, sys: 0.08, mem: 361140 ko) theories/Spaces/BinInt/Core.vo (real: 0.15, user: 0.08, sys: 0.07, mem: 155672 ko) theories/Types.vo (real: 0.10, user: 0.04, sys: 0.06, mem: 112128 ko) theories/Spaces/Nat/Arithmetic.vo (real: 0.17, user: 0.11, sys: 0.05, mem: 211580 ko) theories/WildCat/Adjoint.vo (real: 0.56, user: 0.48, sys: 0.07, mem: 369244 ko) theories/Colimits/Coeq.vo (real: 1.42, user: 1.33, sys: 0.08, mem: 397488 ko) theories/Spaces/Nat/Division.vo (real: 0.65, user: 0.56, sys: 0.08, mem: 366244 ko) theories/Categories/Functor/Paths.vo (real: 0.33, user: 0.26, sys: 0.07, mem: 359612 ko) theories/Categories/NaturalTransformation/Paths.vo (real: 0.17, user: 0.10, sys: 0.06, mem: 247648 ko) theories/WildCat/Products.vo (real: 1.89, user: 1.78, sys: 0.10, mem: 458300 ko) theories/Categories/InitialTerminalCategory/Core.vo (real: 0.12, user: 0.06, sys: 0.05, mem: 134720 ko) theories/Categories/Functor/Prod/Universal.vo (real: 0.18, user: 0.12, sys: 0.06, mem: 246568 ko) theories/Categories/Functor/Composition/Laws.vo (real: 0.27, user: 0.19, sys: 0.08, mem: 357680 ko) theories/Categories/NaturalTransformation/Dual.vo (real: 0.11, user: 0.03, sys: 0.07, mem: 111312 ko) theories/Categories/Functor/Sum.vo (real: 0.29, user: 0.21, sys: 0.08, mem: 358708 ko) theories/Categories/GroupoidCategory/Dual.vo (real: 0.13, user: 0.07, sys: 0.06, mem: 185792 ko) theories/Categories/ExponentialLaws/Tactics.vo (real: 0.10, user: 0.05, sys: 0.05, mem: 110876 ko) theories/Categories/Adjoint/UnitCounit.vo (real: 0.13, user: 0.07, sys: 0.06, mem: 156056 ko) theories/Categories/CategoryOfSections/Core.vo (real: 0.13, user: 0.08, sys: 0.05, mem: 164032 ko) theories/Metatheory/Core.vo (real: 0.11, user: 0.05, sys: 0.05, mem: 126008 ko) theories/Categories/Structure/Core.vo (real: 0.17, user: 0.10, sys: 0.07, mem: 206372 ko) theories/Spaces/Torus/Torus.vo (real: 0.14, user: 0.07, sys: 0.07, mem: 185632 ko) theories/ExcludedMiddle.vo (real: 0.13, user: 0.06, sys: 0.06, mem: 148828 ko) theories/Spaces/Pos.vo (real: 0.09, user: 0.03, sys: 0.05, mem: 108508 ko) test/bugs/github1382.vo (real: 0.11, user: 0.06, sys: 0.05, mem: 134232 ko) test/bugs/github726.vo (real: 0.10, user: 0.05, sys: 0.05, mem: 126000 ko) theories/Classes/interfaces/ua_algebra.vo (real: 0.16, user: 0.09, sys: 0.06, mem: 226056 ko) theories/Algebra/Universal/Algebra.vo (real: 0.38, user: 0.31, sys: 0.06, mem: 359440 ko) theories/Diagrams/Diagram.vo (real: 0.21, user: 0.14, sys: 0.07, mem: 278216 ko) theories/Colimits/CoeqUnivProp.vo (real: 0.45, user: 0.36, sys: 0.08, mem: 382784 ko) theories/Equiv/Relational.vo (real: 0.13, user: 0.07, sys: 0.06, mem: 173924 ko) theories/Spaces/NatSeq/Core.vo (real: 0.13, user: 0.06, sys: 0.06, mem: 172396 ko) theories/Spaces/BinInt/Spec.vo (real: 0.24, user: 0.16, sys: 0.08, mem: 331184 ko) theories/Spaces/Cantor.vo (real: 0.12, user: 0.06, sys: 0.06, mem: 140372 ko) theories/HFiber.vo (real: 0.32, user: 0.23, sys: 0.08, mem: 359120 ko) theories/Equiv/PathSplit.vo (real: 0.15, user: 0.09, sys: 0.06, mem: 197352 ko) theories/Colimits/Pushout.vo (real: 1.26, user: 1.16, sys: 0.09, mem: 416824 ko) theories/Limits/Pullback.vo (real: 0.71, user: 0.63, sys: 0.07, mem: 374872 ko) theories/Universes/TruncType.vo (real: 0.24, user: 0.17, sys: 0.0