Releases around HOL-Theorem-Prover/HOL kananaskis-12 on GitHub

HOL-Theorem-Prover/HOL on GitHub kananaskis-12

chromium/chromium on GitHub 68.0.3440.33

ampproject/amphtml on GitHub 1529449959701

@types/react-native-share on Node.js Yarn 1.0.0

nuke-build/nuke on GitHub 0.4.2

com.google.apis:google-api-services-people on Java Maven v1-rev296-1.21.0 v1-rev296-1.22.0 v1-rev296-1.18.0-rc

chromium/chromium on GitHub 67.0.3396.95

@types/mongoose on Node.js NPM 5.0.17

craftcms/cms on PHP Packagist dev-bugfix/table-defaults-2979

com.amazonaws:aws-java-sdk-cloudfront on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-s3 on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-secretsmanager on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-route53 on Java Maven 1.11.350

com.amazonaws:jmespath-java on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-core on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-bom on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-comprehend on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-sts on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-ses on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-sns on Java Maven 1.11.350

com.amazonaws:aws-java-sdk-servicediscovery on Java Maven 1.11.350

u-boot/u-boot on GitHub v2018.07-rc2

atomiks/tippyjs on GitHub v2.5.3

tippy.js on Node.js NPM 2.5.3

telegraf/telegraf on GitHub 3.21.3

winfsp/winfsp on GitHub v1.4B1

stripe/stripe-java on GitHub v5.42.0

regex on Rust Cargo 1.0.1

validator on Node.js Yarn 10.4.0

validatorjs/validator.js on GitHub 10.4.0