Skip to content
Snippets Groups Projects

drop support for Coq 8.15

Merged drop support for Coq 8.15
ralf/drop-8.15 into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/drop-8.15 into master
All threads resolved!

After this landed we should finally be able to make use of https://github.com/coq/coq/pull/13969. :)

Merge request reports

Merge request pipeline #89159 passed

Stage: build

Merge request pipeline passed for b809e2c2

Approval is optional

Merged by Ralf JungRalf Jung 1 year ago (Sep 15, 2023 7:18am UTC)

Merge details

  • Changes merged into master with db81d6be.
  • Deleted the source branch.

Pipeline #89195 passed

Stage: build

Pipeline passed for db81d6be on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Ralf Jung added 1 commit

    added 1 commit

    • e980eb4f - remove some comments about pre-8.16 names, and fix a naming inconsistency

    Compare with previous version

  • Ralf Jung added 1 commit

    added 1 commit

    • 1b7baecd - remove some comments about pre-8.16 names, and fix a naming inconsistency

    Compare with previous version

  • Ralf Jung resolved all threads

    resolved all threads

  • Robbert Krebbers resolved all threads

    resolved all threads

  • Robbert Krebbers
    Robbert Krebbers @robbertkrebbers
    Owner

    Feel free to merge, and thanks!

  • Ralf Jung merged

    merged

  • Ralf Jung mentioned in commit db81d6be

    mentioned in commit db81d6be

  • Ralf Jung
    Ralf Jung @jung
    Author Owner

    @iris-users as per our Coq version support policy, std++ is dropping support for Coq 8.15.

    Edited by Ralf Jung
    • Please register or sign in to reply