Christian Doczkal (Apr 11 2021 at 10:54): Christian Doczkal (Apr 11 2021 at 10:54):@all Is anyone (still) using the graph theory library with mathcomp-1.11 rather than the current stable release mathcomp-1.12? There are quite a few lemmas in the library that have by now found their way into mathcomp, so dropping 1.11 would allow me to remove them.
Last updated: Feb 09 2023 at 02:02 UTC