Remove dev repositories and Bintray usages where applicable (#2587)
* Remove dev repositories and Bintray usages where applicable
* Update our frontend example
* Update lincheck
* Temporary ignore MutexLincheckTest.modelCheckingTest
diff --git a/gradle.properties b/gradle.properties
index a27edd1..97c6af9 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -11,8 +11,8 @@
junit_version=4.12
atomicfu_version=0.15.2
knit_version=0.2.3
-html_version=0.6.8
-lincheck_version=2.10
+html_version=0.7.2
+lincheck_version=2.12
dokka_version=0.9.16-rdev-2-mpp-hacks
byte_buddy_version=1.10.9
reactor_version=3.4.1
@@ -54,10 +54,4 @@
# TODO: Remove once KT-37187 is fixed
org.gradle.jvmargs=-Xmx2g
-# Workaround for Bintray treating .sha512 files as artifacts
-# https://github.com/gradle/gradle/issues/1.4.3
-systemProp.org.gradle.internal.publish.checksums.insecure=true
-
-# todo:KLUDGE: This is commented out, and the property is set conditionally in build.gradle, because IDEA doesn't work with it.
-#kotlin.mpp.enableGranularSourceSetsMetadata=true
kotlin.mpp.enableCompatibilityMetadataVariant=true