From 58e67c3dc017158f975dfa2788ac3982ea3763a8 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <vbgl@users.noreply.github.com>
Date: Thu, 21 Dec 2017 20:20:27 +0100
Subject: [PATCH] coqPackages.equations: 1.0-beta -> 1.0 (#32771)