Artifact Info
Artifact Idspec
Version2.2.0-M1.alpha
Date9/19/2023
Coordinate
<dependency>
  <groupId>ch.epfl.scala</groupId>
  <artifactId>spec</artifactId>
  <version>2.2.0-M1.alpha</version>
</dependency>