Version of dot2tex: 2.11.3-6
Architecture of dot2tex: all
Version of prelude-correlator: 5.2.0-1.1
Architecture of prelude-correlator: all