tree b12ae9ea6cd6cb396d1b9a181e4e1f8e49d87472
parent e27fa84280c7a2fdb54581dc042a06941f5fd020
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1676216518 +0100
committer Daniel Strueber <strueber@mathematik.uni-marburg.de> 1676216518 +0100

Remove unused dependencies

Change-Id: If1e8d760b1d06ef7a15c905e9f6d3f08d60ac7a9