org.aya.prelude.GeneratedVersion Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of base Show documentation

The Aya proof assistant

There is a newer version: 0.33.0

package org.aya.prelude;
import org.aya.util.Version;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.NonNls;
public class GeneratedVersion {
  public static final @NotNull @NonNls String VERSION_STRING = "0.14";
  public static final @NotNull @NonNls String COMMIT_HASH = "363779874647b6a76bacef2d2b1450bb8de01232";
  public static final @NotNull Version VERSION = Version.create(VERSION_STRING);
}