Skip to content

Remove corus #14143

Closed
#14169
#14153
Closed
Remove corus#14143
#14169
#14153
Labels
stubs: removalPending removal of third-party distributions

Description

@srittau
srittau
opened on May 25, 2025

Last commit was on 2023-07-24, it doesn't support Python 3.13, and therefore stubtest doesn't work. I propose to remove this package from typeshed per our removal policy.

Activity

  1. srittau
    added
    stubs: removalPending removal of third-party distributions
    on May 25, 2025

  2. srittau commented on May 26, 2025

    @srittau
    srittau
    on May 26, 2025
    CollaboratorAuthor

    Cc @sobolevn I think you originally added these stubs.

  3. sobolevn commented on May 26, 2025

    @sobolevn
    sobolevn
    on May 26, 2025
    Member

    sorry, but this was not me :)
    see 89bb3c1

  4. srittau commented on May 26, 2025

    @srittau
    srittau
    on May 26, 2025
    CollaboratorAuthor

    Ah ok, let it be gone then.

  5. srittau
    closed this as completedin #14153on May 26, 2025
  6. AlexWaygood
    reopened this on May 26, 2025
  7. srittau
    added a commit that references this issue on May 27, 2025

    Remove corus (again)

    e0fadc7
  8. srittau
    closed this as completedin #14169on May 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    stubs: removalPending removal of third-party distributions

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions