Coq 8.11.1 is out

The 8.11.1 release of Coq is available. The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the changelog for more details.

HHVM 4.77
HHVM 4.77 is released! This release marks the end of support for 4.71; HHVM 4.72–4.76 remain supported,…
v2.3-dev5
HAProxy 2.3-dev5
Docker Open Sources Compose for Amazon ECS and Microsoft…
Today we are open sourcing the code for the Amazon ECS and Microsoft ACI Compose integrations. This…
Announcing Web Previews in Appflow
Today, we’re thrilled to announce Web Previews in Appflow, the easiest way to share what you’re working…
HHVM 4.76
HHVM 4.76 is released! This release marks the end of support for 4.69; HHVM 4.71–4.75 remain supported…
Docker Github Actions
In our first post in our series on CI/CD we went over some of the high level best practices for using…
Post Comment