Skip to content
Nix CI for bundle master

Import ZArith to use it in Rstruct.v (for https://github.com/coq/coq/pull/19801) #3411

Sign in to view logs

Import ZArith to use it in Rstruct.v (for https://github.com/coq/coq/pull/19801)

Import ZArith to use it in Rstruct.v (for https://github.com/coq/coq/pull/19801) #3411

This job was skipped