Artifact: discipline-specs2_native0.4_2.13