[ pack ] Pack collection fails to build

[stefan-hoeck]

Building the last nightly of the pack collection failed due to the following error in numidr:

2024-04-25T21:27:07.1455991Z [ build ] 14/27: Building Data.NumIdr.Matrix (src/Data/NumIdr/Matrix.idr)
2024-04-25T21:27:07.1456707Z [ build ] Error: While processing right hand side of matrix. Undefined name array'. 
2024-04-25T21:27:07.1457201Z [ build ] 
2024-04-25T21:27:07.1457479Z [ build ] Data.NumIdr.Matrix:36:12--36:18
2024-04-25T21:27:07.1457944Z [ build ]  32 | ||| Construct a matrix with the given order and elements.
2024-04-25T21:27:07.1458385Z [ build ]  33 | export
2024-04-25T21:27:07.1458880Z [ build ]  34 | matrix : {default B rep : Rep} -> RepConstraint rep a => {m, n : _} ->
2024-04-25T21:27:07.1459482Z [ build ]  35 |           Vect m (Vect n a) -> Matrix m n a
2024-04-25T21:27:07.1459943Z [ build ]  36 | matrix x = array' {rep} [m,n] x
2024-04-25T21:27:07.1460288Z [ build ]                  ^^^^^^
2024-04-25T21:27:07.1460613Z [ build ] Did you mean any of: array, or Array?