MSoegtropIMC

dllstdint_stubs.so not copied to ~\.opam\system\lib\stublibs when build with opam

4

Dear Stdint Team, when I build/install stdint with opam (on cygwin), the file dllstdint_stubs.so is not copied to ~/.opam/system/lib/stublibs, which is the standard opam folder for such files. As a...

Dear realtion-algebra Team, a user of your development requested here: (https://github.com/coq/platform/issues/167) to include your development into the Coq Platform, which is the standard user facing distribution of Coq. Coq Platform...

Review of introductory chapters of dune manual

2

As dune non-literate I did a review of the introductory chapters of the dune [manual](https://dune.readthedocs.io/en/stable/) (version June 22nd 2022). FYI: @ejgallego @rgrinberg **Summary:** the documentation is quite good, but especially...

opam depext support for macos

4

I wanted to switch from opam 2.0.X to opam 2.1.2, but the integrated depext still doesn't seem to support macOS: ``` opam install conf-pkg-config [NOTE] External dependency handling not supported...

Opam does install package despite download hash error

3

In a local patch opam repo I did a mistake in setting the download hash (I used the wrong type). Opam did detect the error but installed the package anyway....

Apple M1: warn users if .opam folder was migrated/copied from an Intel silicon machine

2

In the Coq Platform project (a sort of opam meta project) I get user reports with opam issues which essentially come from migration from an Intel Mac to an Apple...

The Coq team released Coq `8.16+rc1` on June 01, 2022. The corresponding Coq Platform release `2022.09` should be released before **September 15, 2022**. It can be delayed in case of...

Attacks by introducing invisible source code using special Unicode characters

3

In this paper: (https://www.trojansource.codes/trojan-source.pdf) researchers from the University of Cambridge describe an attack which uses special Unicode characters to inject invisible or modified code. As far as I can tell...

Command line option to return configuration data

3

For multi platform installations of CompCert (see e.g. https://github.com/coq/opam-coq-archive/pull/1319) it would be good to have a command line option to return the configuration of ccomp and clightgen. This makes it...

The Coq team released Coq `8.16+rc1` on June 01, 2022. The corresponding Coq Platform release `2022.09` should be released before **September 15, 2022**. It can be delayed in case of...