Hi Guix,
While trying to package coq-elpi, one finds that Findlib is unable to
find ocaml-stdlib-shims. The problem persists even if ocaml-stdlib-shims
is located in the inputs and propagated-inputs fields.
Trying to set OCAMLLIB using the following doesn't seem to work.
(string-append "OCAMLLIB=
Le 2 septembre 2023 20:52:21 GMT+02:00, Garek Dyszel
a écrit :
>Hi Guix,
>
>While trying to package coq-elpi, one finds that Findlib is unable to
>find ocaml-stdlib-shims. The problem persists even if ocaml-stdlib-shims
>is located in the inputs and propagated-inputs fields.
>
>Trying to set OCAM
Hello Guix,
Table of Contents
_
1. Introduction
2. How to create a fork?
.. 1. guix time-machine
.. 2. Any other limitations?
3. How to keep the fork up to date?
.. 1. Authentication
4. Conclusion
1 Introduction
==
I would like to start my own fork of the upstream
