Package lem.2020-06-03

[tperami]

lem.2020-06-03

Lem is a tool for lightweight executable mathematics
Lem is a tool for lightweight executable mathematics, for writing,
managing, and publishing large-scale portable semantic definitions,
with export to LaTeX, executable code (currently OCaml) and
interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).

It is also intended as an intermediate language for generating
definitions from domain-specific tools, and for porting definitions
between interactive theorem proving systems.

---

• Homepage: http://www.cl.cam.ac.uk/~pes20/lem/
• Source repo: git+https://github.com/rems-project/lem.git
• Bug tracker: https://github.com/rems-project/lem/issues

---

🐫 Pull-request generated by opam-publish v2.0.2

[camelus]

Commit: ed23183

Hello @CuiCui66! I believe this is your first contribution here. Please be nice, reviewers!

☀️ All lint checks passed ed23183

• These packages passed lint tests: lem.2020-06-03

---

☀️ Installability check (+1)

• new installable packages (1): lem.2020-06-03

[tperami]

Do not merge

Actually I discovered some tests, (I'm just packaging, I did not write the software) and they don't pass, So I need to make them pass and then add them to the the target "with-test" in the opam file.

Should I close the PR and open another one when this is done, or should I leave it open?

[kit-ty-kate]

if the version number gets change it might be easier to close it, otherwise you can let it open as opam-publish should be able to update the PR.

[tperami]

After discussing with an author, this was a legacy test suite that was not updated for several years and is not valid anymore. It's normal they fail. They are not even mentioned in the README or anything else. The main test suite is already invoked by the main make invocation and pass. We'll keep them in case someone updates them later but they will not be run by the opam with-test variable as they are not correct anymore.

@kit-ty-kate In the end, we can merge the PR as-is

[avsm]

Thanks! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.