Patch around BoxedRep changes

enabled an automatic merge when the pipeline for 83d258f6 succeeds

added 2 commits

• 9b2ff88c - Patch around BoxedRep changes
• 39c3b879 - Drop old hmatrix patch, migrate pandoc patch to latest Hackage version

Compare with previous version

enabled an automatic merge when the pipeline for 39c3b879 succeeds

added 2 commits

• 745b9a4a - Patch around BoxedRep changes
• 3da29186 - Drop old hmatrix patch, migrate pandoc patch to latest Hackage version

Compare with previous version

enabled an automatic merge when the pipeline for 3da29186 succeeds

merged

mentioned in commit 1fd20365