• Home
• org.aya-prover
• base
• 0.35.0
• source code
• GeneratedVersion.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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.35.0";
  public static final @NotNull @NonNls String COMMIT_HASH = "65c549aca3037bd778b500bf48f92c33141dc21f";
  public static final @NotNull Version VERSION = Version.create(VERSION_STRING);
}