Albin Coquereau

icon indicating a website link https://coquera.github.io/

icon company Nomadic-Labs icon location Paris

Results 6 comments of Albin Coquereau

[Gui] move altgr-ergo.conf file in the share/alt-ergo directory of current opam switch

This issue was raised by this pr : https://github.com/ocaml/opam-repository/pull/18015 where the conf file could not be create in the sandbox of opam

opam package: make alt-ergo and alt-ergo-free uncompatible (whatever the version)

Since the last release of alt-ergo-free(https://opam.ocaml.org/packages/alt-ergo-free/) this should not happen anymore. For the next release of Alt-Ergo, we should also add alt-ergo-free as conflict, to be sure

Stdout used instead of stderr

Should be fixed with #408 and #417

[Documentation] Add doc for every non documented modules

See #302 for options module documentation

[Build] add more checks

Should https://github.com/OCamlPro/alt-ergo/pull/436 resolve this issue ?

[Documentation] have doc for each version

2.4.0 documentation have been manually added in #411