Skip to content

Commit

Permalink
Use an up-to-date version of mirage-crypto
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Dec 8, 2023
1 parent 3c7e14d commit f91894a
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions com.opam
Original file line number Diff line number Diff line change
Expand Up @@ -48,10 +48,10 @@ depends: [
]

pin-depends: [
[ "mirage-crypto.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ]
[ "mirage-crypto-pk.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ]
[ "mirage-crypto-ec.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ]
[ "mirage-crypto-rng.dev" "git+https://github.com/dinosaure/mirage-crypto.git#b3682240f92453c8300298ff3e197af44f155d80" ]
[ "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" ]
[ "mtime.dev" "git+https://github.com/dinosaure/mtime.git#d5d70f38c40da90e3e173eb60346df55b64a4a0a"]
]

Expand Down

0 comments on commit f91894a

Please sign in to comment.