Commits on Jun 17, 2024

1. mirage-crypto does not work with newer eqaf (requires the .cstruct pa… …

   …ckage):
   
   ```
   === ERROR while compiling mirage-crypto.0.11.0 ===============================#
    context              2.2.0~beta3~dev | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
    path                 ~/.opam/4.14/.opam-switch/build/mirage-crypto.0.11.0
    command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p mirage-crypto -j 255
    exit-code            1
    env-file             ~/.opam/log/mirage-crypto-7-db30d0.env
    output-file          ~/.opam/log/mirage-crypto-7-db30d0.out
    ## output ###
    File "src/dune", line 4, characters 20-32:
    4 |  (libraries cstruct eqaf.cstruct)
                            ^^^^^^^^^^^^
    Error: Library "eqaf.cstruct" not found.
    -> required by library "mirage-crypto" in _build/default/src
    -> required by _build/default/META.mirage-crypto
    -> required by _build/install/default/lib/mirage-crypto/META
    -> required by _build/default/mirage-crypto.install
    -> required by alias install
   ```

   

   hannesm committed Jun 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for e7fefa9
   • Browse repository at this point

   Copy the full SHA

   e7fefa9 View commit details

   Browse the repository at this point in the history

2. fiat-p256 0.2* does not compile with eqaf 0.10 …

   ```
   === ERROR while compiling fiat-p256.0.2.1 ====================================#
    context              2.2.0~beta3~dev | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
    path                 ~/.opam/4.14/.opam-switch/build/fiat-p256.0.2.1
    command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p fiat-p256 -j 255
    exit-code            1
    env-file             ~/.opam/log/fiat-p256-7-227f51.env
    output-file          ~/.opam/log/fiat-p256-7-227f51.out
    ## output ###
    File "p256/dune", line 4, characters 36-48:
    4 |  (libraries bigarray-compat cstruct eqaf.cstruct hex)
                                            ^^^^^^^^^^^^
    Error: Library "eqaf.cstruct" not found.
    -> required by library "fiat-p256" in _build/default/p256
    -> required by _build/default/META.fiat-p256
    -> required by _build/install/default/lib/fiat-p256/META
    -> required by _build/default/fiat-p256.install
    -> required by alias install
   ```

   

   hannesm committed Jun 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for c2af901
   • Browse repository at this point

   Copy the full SHA

   c2af901 View commit details

   Browse the repository at this point in the history

3. fiat-p256.0.2.{1,2,3} requires at least eqaf.0.7

   

   dinosaure committed Jun 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 3480d4e
   • Browse repository at this point

   Copy the full SHA

   3480d4e View commit details

   Browse the repository at this point in the history

4. fiat-p256.0.2.{1,2,3} requires hex.1.4.0 at least

   

   dinosaure committed Jun 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for c5b4d28
   • Browse repository at this point

   Copy the full SHA

   c5b4d28 View commit details

   Browse the repository at this point in the history

5. typo

   

   hannesm committed Jun 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 1aa0b2e
   • Browse repository at this point

   Copy the full SHA

   1aa0b2e View commit details

   Browse the repository at this point in the history