Skip to content

Commit

Permalink
Upgrade the OPAM file with last versions of pecu/unstrctrd
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Oct 13, 2021
1 parent 530f613 commit 9784a03
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions mrmime.opam
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,6 @@ depends: [
]

pin-depends: [
[ "pecu.dev" "git+https://github.com/mirage/pecu.git#b33965ed8ade1102ae1f18ba6c95aa5d696ec9c3" ]
[ "unstrctrd.dev" "git+https://github.com/dinosaure/unstrctrd.git#f2dc1640c647ceeb8ee0c4ae3fef705f51507621" ]
[ "pecu.dev" "git+https://github.com/mirage/pecu.git#ce3fbfdf7d3785356bcb80e3cef3aebb05298494" ]
[ "unstrctrd.dev" "git+https://github.com/dinosaure/unstrctrd.git#d4a378f639f5bb154a18cf9b80ac7cf937e16143" ]
]

0 comments on commit 9784a03

Please sign in to comment.