Closed vbgl closed 6 months ago
This will allow to easily change the implementation of lsr.
lsr
The opam CI job has been failing a lot recently (by needing too much memory) and does not know about development versions of mathcomp-word: I’ve thus disabled it.
opam
mathcomp-word
This will allow to easily change the implementation of
lsr.The
opamCI job has been failing a lot recently (by needing too much memory) and does not know about development versions ofmathcomp-word: I’ve thus disabled it.