diff --git a/build-constraints.yaml b/build-constraints.yaml
index 87662360..62319e77 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5400,7 +5400,6 @@ packages:
         - dhall < 0 # -1.38.1 (>=2.13.0.0 && < 2.17). Gabriel Gonzalez <Gabriel439@gmail.com> @Gabriel439. @dhall-lang. Used by: library
         - egison-pattern-src-th-mode < 0 # -0.2.1.2 (>=2.2.0 && < 2.17). Satoshi Egi <egi@egison.org> @egisatoshi. @egison. Used by: library
         - email-validate < 0 # -2.3.2.13 (>=2.10.0.0 && < 2.17). George Pollard <porges@porg.es> @Porges. @Porges. Used by: library
-        - equational-reasoning < 0 # -0.7.0.0 (>=2.11 && < 2.17). Hiromi Ishii <konn.jinro@gmail.com> @konn. @konn. Used by: library
         - exception-hierarchy < 0 # -0.1.0.4 (>=2.15 && < 2.17). Yoshikuni Jujo <PAF01143@nifty.ne.jp> @YoshikuniJujo. @YoshikuniJujo. Used by: library
         - freer-simple < 0 # -1.2.1.1 (>=2.11 && < 2.17). Alexis King <lexi.lambda@gmail.com> @lexi-lambda. @lexi-lambda. Used by: library
         - geniplate-mirror < 0 # -0.7.7 (< 2.17). Liang-Ting Chen<liang.ting.chen.tw@gmail.com> @L-TChen. @danr. Used by: library
@@ -5734,11 +5733,6 @@ packages:
         # servant-server (GHC 9, Haskell Servant <haskell-servant-maintainers@googlegroups.com>) (not present) depended on by:
         - servant-exceptions-server < 0 # -0.2.1 (>=0.11). Sebastian Nagel <sebastian.nagel@ncoding.at> @ch1bo. @ch1bo. Used by: library
         - sydtest-servant < 0 # -0.0.0.0 (-any). Tom Sydney Kerckhove <syd.kerckhove@gmail.com> @NorfairKing. @NorfairKing. Used by: library
-        # equational-reasoning (GHC 9, Hiromi Ishii <konn.jinro@gmail.com> @konn) (not present) depended on by:
-        - ghc-typelits-presburger < 0 # -0.6.0.0 (-any). Hiromi Ishii <konn.jinro@gmail.com> @konn. @konn. Used by: executable
-        - singletons-presburger < 0 # -0.6.0.0 (-any). Hiromi Ishii <konn.jinro@gmail.com> @konn. @konn. Used by: executable
-        - sized < 0 # -1.0.0.0 (>=0.5). Hiromi Ishii <konn.jinro@gmail.com> @konn. @konn. Used by: library
-        - type-natural < 0 # -1.1.0.0 (>=0.4.1.1). Hiromi Ishii <konn.jinro@gmail.com> @konn. @konn. Used by: library
         # egison-pattern-src (GHC 9, Satoshi Egi <egi@egison.org> @egisatoshi) (not present) depended on by:
         - mini-egison < 0 # -1.0.0 (>=0.2.1 && < 0.3). Satoshi Egi <egi@egison.org> @egisatoshi. @egison. Used by: library
         - sweet-egison < 0 # -0.1.1.3 (^>=0.2.1). Satoshi Egi <egi@egison.org> @egisatoshi. @egison. Used by: library