Fix package name in META file · impermeable/coq-waterproof@7946393

Triggered via push January 7, 2025 10:19

coq-master-update

Status Success

Total duration 3m 4s

Artifacts –

build.yml

on: push

11 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

build: theories/Chains/Inequalities.v#L19

Loading Stdlib without prefix is deprecated.

build: theories/Libs/Logic/InformativeEpsilon.v#L19

Loading Stdlib without prefix is deprecated.

build: theories/Notations/Sets.v#L19

Loading Stdlib without prefix is deprecated.

build: theories/Notations/Sets.v#L81

"From Coq" has been replaced by "From Stdlib".

build: theories/Notations/Reals.v#L19

"From Coq" has been replaced by "From Stdlib".

build: theories/Notations/Reals.v#L20

Loading Stdlib without prefix is deprecated.

build: tests/Notations/Sets.v#L41

"From Coq" has been replaced by "From Stdlib".

build: theories/Libs/Reals.v#L19

Loading Stdlib without prefix is deprecated.

build: theories/Libs/Reals.v#L20

"From Coq" has been replaced by "From Stdlib".

build: theories/Libs/Reals.v#L21

Loading Stdlib without prefix is deprecated.