Building K on develop branch Failure to find org.kframework.k:kore_2.12

[barrywhitehat1]

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 runtimeverification/k#2318

[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

System version

mvn --version
Apache Maven 3.3.9
Maven home: /usr/share/maven
Java version: 1.8.0_131, vendor: Oracle Corporation
Java home: /usr/lib/jvm/java-8-openjdk-amd64/jre
Default locale: en_US, platform encoding: UTF-8
OS name: "linux", version: "4.10.0-30-generic", arch: "amd64", family: "unix"