Vincent Laporte

I agree, this line is wrong. What happens if there are several paths with `opam` as a substring? If there are none?

You mean the documentation there: ?

Thanks for the clarification and the hint: using `exact: comparableMixin || exact: comparableClass` to (re)define comparableMixin made the job.

@GrahamcOfBorg build ocamlformat ocaml-crunch

I agree that this library be included in the Coq Platform.

> is it OK with you if I package [release 1.1](https://github.com/jasmin-lang/coqword/releases/tag/v1.1) in the Coq opam archive? It is OK.

Some hints: - [Emacs mode](https://github.com/jasmin-lang/jasmin/wiki/Emacs-mode) - [VSCode mode](https://github.com/dsprenkels/vscode-jasmin)

There is a similar issue when doing several calls in sequence: stack memory is freed (RSP increases) and allocated again just after (RSP decreases).

The internal compilation error has been fixed in 2022.04.0.

Current version says: > typing error: call to export function needs to be inlined Can this be closed?