Marcello Seri

Results 71 issues of Marcello Seri

Appeared on a few opam-ci lower bound tests (e.g https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/5516a097c2586e34975c0260e7009bbfb7723df5/variant/opam-2.1,compilers,4.03,odoc.2.0.0,lower-bounds): The error we saw is: ``` # + ocamlfind ocamlc -c -bin-annot -safe-string -package cmdliner -I src -I test -o...

bug

Signed-off-by: Marcello Seri

Some authors do not upload their DOI to arXiv but only the journal reference. In this case it would be nice to be able to generate the correct journal bibtex....

enhancement

On one of my computers (iMac M1) I get the following: ``` $ opam upgrade Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages...

I am not sure if this issue should be here. The license field documentation at https://opam.ocaml.org/doc/Manual.html#opamfield-license right now is very limited. We should at least mention also the `WITH` keyword...

AREA: DOCUMENTATION

Resubmitting as requested to try this PR on mac use ``` opam pin -n git+https://github.com/mseri/owl.git#arm64 --with-version=1.1.0 PKG_CONFIG_PATH="/opt/homebrew/opt/openblas/lib/pkgconfig" opam install owl.1.1.0 ```

enhancement

It needs to link against `-llapacke` which is provided separately. All versions before 1.0.2 link fine, this spurious commit https://github.com/owlbarn/owl/commit/dc77f1d3b7a4b81beba5bcfc4366317e044bce6d broke 1.0.2 on a number of systems. The fix in...

bug

Seen here: https://github.com/ocaml/opam-repository/pull/17729 (logs at https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/24f3497a6cf0fba1c5a30ea40ae3c0f8272b72af) ~~At least on ARM64 I am sure owl used to work fine as I did also compile it on a raspberry pi (I think...

The CI is currently not working. A solution could be to update the images used, which I believe now are getting deprecated as is the ocaml travis ci script. Since...

Since the new` odoc`, which should be out very soon, supports latex on html output, has extensible output formats (already supports also manpages for example), and does a rather nice...

enhancement