Skip to content

Commit

Permalink
Merge pull request #50 from dinosaure/update-mirage-crypto
Browse files Browse the repository at this point in the history 
Update mirage-crypto
  • Loading branch information
@dinosaure
dinosaure authored Oct 31, 2023
2 parents b211285 + 667c185 commit 03c71d0
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 @@ -48,10 +48,10 @@ depends: [
]

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

Expand Down

0 comments on commit 03c71d0

Please sign in to comment.