pygments breaking changes
Every breaking API change we have recorded in pygments on PyPI: 3 breaking changes in 1 version. Below are its newest version, removals and renames first, each with its source.
Newest change March 29, 2026
On this page
2.20.0
- Removed
Python 3.8 is no longer supported; Python 3.14 is added as a supported version. github.com - Renamed
Coq
The Coq lexer is renamed to Rocq. Code that refers to the old Coq name should switch to Rocq. github.com - Renamed
pygments.lexers.theorem.CoqLexer
Use pygments.lexers.theorem.RocqLexer instead. pypi.org
Check your code
These are the changes. To see which of them reach your code, scan a public repository, or have your coding agent call check_code with your manifest or lockfile over MCP. The API reads every change in every version, not only the newest. On Team and up, a fix pull request opens for the changes that reach a connected repository. Nothing merges or deploys.
Put your code on continuous management.
Scan a public repository now, or give your agent one line.
See how out of date your code is.
Tell your agent what changed since it was trained.
claude mcp add --transport http since https://api.since.dev/mcp