/usr/lib/dunecontrol/dune-grid/dune.module is in libdune-grid-dev 2.5.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 | Module: dune-grid
Version: 2.5.1
Maintainer: dune-devel@lists.dune-project.org
Depends: dune-geometry (>= 2.5.0)
Suggests: dune-uggrid
Whitespace-Hook: Yes
|