search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

Pygments dependency bump #5

Closed jhaag closed 4 years ago

jhaag commented 4 years ago

We're interested in using Pygments v2.6.1 instead of v2.5.2 (which is currently required). Will there be conflicts if we bump this dependency? If not, it probably makes sense to weaken the dependencies to specify a minimum version of pygments rather than an exact version.

cpitclaudel commented 4 years ago

There shouldn't be an issue. What's new in Pygments 2.6.1 that you want to use?

jhaag commented 4 years ago

One of my colleagues was requesting the upgrade, but after discussing with him it sounds like it was not needed for any feature in particular. Thanks for clarifying that this version should work, though.

cpitclaudel commented 4 years ago

Thanks for the update!