1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Updating yojson to 2.0.2

    From julien.puydt@gmail.com@21:1/5 to All on Fri Aug 12 22:30:01 2022
    Hi,

    the yojson package was RFA ; I just took it over and uploaded version
    2.0.2 to experimental.

    I know it breaks the following packages:

    - ocaml-atd 2.9.1 -- but 2.10.0 works (uploaded to experimental)

    - belenios through ocaml-atd -- and rebuilding against 2.10.0 doesn't
    work, I need to look into it.

    - morbig -- I could patch it easily (uploaded to experimental)

    - zeroinstall-injector -- not managed within the Debian OCaml
    maintainers, so I can't do much ; Thomas in CC is responsible, and I
    have a patch, see below.

    I know it doesn't break:

    - frama-c
    - js-of-ocaml
    - liquidsoap
    - ppx-deriving-yojson

    and I think that's a complete picture.

    Cheers,

    J.Puydt

    PS: for zeroinstall-injector, the patch is:

    Description: fix support for yojson 2.0.2
    Author: Julien Puydt
    Forwarded: https://github.com/0install/0install/issues/195

    --- zeroinstall-injector-2.16.orig/src/support/json.ml
    +++ zeroinstall-injector-2.16/src/support/json.ml
    @@ -1,3 +1,3 @@
    [@@@ocaml.warning "-3"]

    -type t = Yojson.Basic.json
    +type t = Yojson.Basic.t
    --- zeroinstall-injector-2.16.orig/0install.opam
    +++ zeroinstall-injector-2.16/0install.opam
    @@ -11,7 +11,7 @@
    ]
    depends: [
    "ocaml" {>= "4.05.0"}
    - "yojson"
    + "yojson" {>= "2.0.2"}
    "xmlm"
    "ounit" {with-test}
    "lwt"

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?St=c3=a9phane_Glondu?=@21:1/5 to All on Tue Aug 16 10:00:01 2022
    Hi,

    Le 12/08/2022 à 22:29, julien.puydt@gmail.com a écrit :
    - belenios through ocaml-atd -- and rebuilding against 2.10.0 doesn't
    work, I need to look into it.

    I recently updated belenios (the development version) to ocaml-atd 2.10.0:

    https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213

    The next stable release (scheduled in September) will include this. If a
    fix is needed earlier, the patch should be easily backported.


    Cheers,

    --
    Stéphane

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Tue Aug 16 12:30:01 2022
    Hi,


    Le mardi 16 août 2022 à 09:53 +0200, Stéphane Glondu a écrit :

    Le 12/08/2022 à 22:29, julien.puydt@gmail.com a écrit :
    - belenios through ocaml-atd -- and rebuilding against 2.10.0
    doesn't work, I need to look into it.

    I recently updated belenios (the development version) to ocaml-atd
    2.10.0:

    https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213

    The next stable release (scheduled in September) will include this.
    If a
    fix is needed earlier, the patch should be easily backported.


    It's not very urgent -- in september I also expect a new Coq and a new
    batch of students, so the more I get done now the better (or at least
    ready to be done).

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Mon Aug 22 18:00:01 2022
    Le mardi 16 août 2022 à 09:53 +0200, Stéphane Glondu a écrit :
    Hi,

    Le 12/08/2022 à 22:29, julien.puydt@gmail.com a écrit :
    - belenios through ocaml-atd -- and rebuilding against 2.10.0
    doesn't
    work, I need to look into it.

    I recently updated belenios (the development version) to ocaml-atd
    2.10.0:

    https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213

    The next stable release (scheduled in September) will include this.
    If a fix is needed earlier, the patch should be easily backported.


    Thomas uploaded a zeroinstall-injector package which doesn't break on
    newer yojson, so you just have to ping me when belenios is ready --
    either waiting for the new version or a patched current at your
    convenience.

    Thanks,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?St=c3=a9phane_Glondu?=@21:1/5 to All on Thu Oct 20 10:00:01 2022
    Hi,

    Le 22/08/2022 à 17:58, julien.puydt@gmail.com a écrit :
    - belenios through ocaml-atd -- and rebuilding against 2.10.0
    doesn't
    work, I need to look into it.

    I recently updated belenios (the development version) to ocaml-atd
    2.10.0:

    https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213

    The next stable release (scheduled in September) will include this.
    If a fix is needed earlier, the patch should be easily backported.

    Thomas uploaded a zeroinstall-injector package which doesn't break on
    newer yojson, so you just have to ping me when belenios is ready --
    either waiting for the new version or a patched current at your
    convenience.

    A new version of belenios (1.20) has been released. It should work with
    recent yojson/atdgen. Sorry for the delay.


    Cheers,

    --
    Stéphane

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Thu Oct 20 13:30:01 2022
    Hi,

    Le jeudi 20 octobre 2022 à 09:52 +0200, Stéphane Glondu a écrit :
    Le 22/08/2022 à 17:58, julien.puydt@gmail.com a écrit :
    - belenios through ocaml-atd -- and rebuilding against 2.10.0
    doesn't
    work, I need to look into it.

    I recently updated belenios (the development version) to ocaml-
    atd
    2.10.0:

    https://gitlab.inria.fr/belenios/belenios/-/commit/f353a2f074ed4ce1e97a9643fa9f17ea453b2213

    The next stable release (scheduled in September) will include
    this.
    If a fix is needed earlier, the patch should be easily
    backported.

    Thomas uploaded a zeroinstall-injector package which doesn't break
    on
    newer yojson, so you just have to ping me when belenios is ready --
    either waiting for the new version or a patched current at your convenience.

    A new version of belenios (1.20) has been released. It should work
    with recent yojson/atdgen. Sorry for the delay.

    No problem about the delay: I wasn't particularly in a hurry.

    I don't remember how those packages fit together -- another situation
    where a tool to work on transitions would help, so I'll need to check
    what has to be done.

    It might take a few days...

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)