Newer
Older
Version: 2.4-git
Maintainer: dune-devel@dune-project.org
Depends: dune-common (>= 2.4)
Whitespace-Hook: Yes
Version: 2.4-git
Maintainer: dune-devel@dune-project.org
Depends: dune-common (>= 2.4)
Whitespace-Hook: Yes