Pierre-Yves Strub
Pierre-Yves Strub
Seriously, I like this warnings. This reminds me the old good time when I was compiling an obscure C program on HP-UX in the 90's.
I can try implementing this request, but being totally incompetent in `elisp`, I might need some help at some point.
Hi. I don't think that the elliptic curve development is something that can be considered as a general / usable component. So far, the target of the development is narrow...
We can work on this together if you want.
Fine with me.
Ok. I added a minimal README.
Yes, you can take the last version.
@palmskog Do you have an example of a project that uses both system (`dune` for the dev & `coq_makefile` for `opam`)?
Ok, I'll take the first and use it as a template.
Yes. I am going to update the repository to 8.11. Le lun. 3 févr. 2020 à 22:02, Bas Spitters a écrit : > @strub with ALEA now available in 8.11,...