v2.0-dev3

HAProxy 2.0-dev3

Coq 8.9.1 is out
The 8.9.1 release of Coq is available. Main changes: some quality-of-life bug fixes, many improvements…
HHVM 4.6.0
HHVM 4.6 is released! This release will be supported for 6 weeks, and HHVM 4.1+ remain supported. Highlights…
Introducing Docker Kubernetes Service
Kubernetes is a powerful orchestration technology for deploying, scaling and managing distributed applications…
Your Guide to KubeCon + CloudNativeCon EU
Following on the heels of DockerCon SF, the team is packing their bags and heading to Barcelona for…
Announcing Stencil One: Beta
Today, we’re thrilled to announce the release of Stencil 1.0 beta (what we’re calling Stencil One),…
Coq 8.10+beta1 is out
The first beta release of Coq 8.10 is available for testing. Coq version 8.10 contains two major new…
Post Comment