Skip to content

Commit

Permalink
Set the version of the pinned mirage-crypto package
Browse files Browse the repository at this point in the history
  • Loading branch information
@dinosaure
dinosaure committed Jul 15, 2024
1 parent 760e10a commit 7cbc145
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions com.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,10 +55,10 @@ depends: [
]

pin-depends: [
[ "mirage-crypto.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-pk.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-ec.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto.0.11.0" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-pk.0.11.0" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-ec.0.11.0" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mirage-crypto-rng.0.11.0" "git+https://github.com/dinosaure/mirage-crypto.git#83b160823cc601ffb19f8be2e32d643ffcbea60d" ]
[ "mtime.dev" "git+https://github.com/dinosaure/mtime.git#d5d70f38c40da90e3e173eb60346df55b64a4a0a" ]
[ "gmp.dev" "git+https://github.com/mirage/ocaml-gmp.git#90c7941b3b2649c19f2596538417e5ce1df61b9d" ]
]
Expand Down

0 comments on commit 7cbc145

Please sign in to comment.