[ERROR] Failed to execute goal on project frontend: Could not resolve dependencies for project org.kframework.k:frontend:jar:4.0.1-SNAPSHOT: Failure to find org.kframework.k:kore_2.12:jar:0.6-SNAPSHOT in http://office.runtimeverification.com:8888/repository/snapshots was cached in the local repository, resolution will not be reattempted until the update interval of runtime-verification.snapshots has elapsed or updates are forced -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/DependencyResolutionException
[ERROR]
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR] mvn <goals> -rf :frontend
Error when building K on develop branch. I need to use the develop branch because i want to work with https://github.com/kframework/evm-semantics
Would it be possible to make another release containing the https://github.com/kframework/k/pull/2318
System version