science/coq - coq - openSUSE Gitea

SHA256

forked from pool/coq

Go to file

The base branch pool/coq:factory has new changes

Dominique Leuenberger baeb84bce2 Accepting request 1238701 from science

- Update to version 8.20.1.
  * Fixed possible guard checker anomaly on fixpoints containing an
    inner fixpoint that is reducible (because of its main argument
    reducing to a constructor). This was a regression in 8.20.
  * Fixed spurious warnings about incompatible prefixes in presence
    of `as pattern syntax_modifier` or recursive notations.
  * Fixed a regression in `Hint Extern` matching primitive
    projections.

OBS-URL: https://build.opensuse.org/request/show/1238701
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=30

2025-01-19 20:49:08 +00:00

_constraints

OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=34

2021-10-20 23:30:38 +00:00

.gitattributes

Accepting request 733035 from home:aaronpuchert

2019-09-25 09:10:33 +00:00

.gitignore

Accepting request 733035 from home:aaronpuchert

2019-09-25 09:10:33 +00:00

coq-8.20.1.tar.gz

- Update to version 8.20.1.