Artifact: discipline-specs2_native0.5_2.13