The reference hasDecEq.Build was not found in the current environment.

The reference bigop.body was not found in the current environment.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Hiding binding of key N to nat_scope

Hiding binding of key N to nat_scope

Hiding binding of key R to ring_scope

Notation Rminus_gt_0_lt is deprecated since 8.19.

Notation Rlt_Rminus is deprecated since 8.19.

Notation Rminus_gt_0_lt is deprecated since 8.19.