Skip to content
Dependabot Automerge

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #215

Sign in to view logs

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801)

Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) #215

dependabot-automerge

dependabot-automerge
succeeded Nov 3, 2024 in 0s