packages feed

dtmc-0.3.0.0: benchmark/cabal.project

packages: .

benchmarks: True
tests: False

package dtmc
  optimization: 2