Update the pinned version of alcotest
This commit is contained in:
parent
de874f205b
commit
2c443eca53
@ -34,6 +34,6 @@ pin-depends: [
|
||||
[ "miou.dev" "git+https://git.robur.coop/robur/miou.git#a9eb2a42f761c54e84b97fd5ccfe07d3e37a3266" ]
|
||||
[ "mirage-crypto.0.11.3" "git+https://github.com/dinosaure/mirage-crypto.git#13bd9191f42cfcad84a808a79d97788f65af90e9" ]
|
||||
[ "mirage-crypto-rng.0.11.3" "git+https://github.com/dinosaure/mirage-crypto.git#13bd9191f42cfcad84a808a79d97788f65af90e9" ]
|
||||
[ "alcotest.1.7.0" "git+https://github.com/dinosaure/alcotest.git#f690bdeb7b1c3eb5c9016dc7097c400dd42e492b" ]
|
||||
[ "alcotest.1.7.0" "git+https://github.com/dinosaure/alcotest.git#d591896a54ff4f652ac2d7d7194de1e0fb6e3aca" ]
|
||||
[ "tls.dev" "git+https://github.com/hannesm/ocaml-tls.git#6e20f7a9378118602e7ec6a41495a1b3e01bd9ab" ]
|
||||
]
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user