Skip to content

Commit

Permalink
Delete pin-depends
Browse files Browse the repository at this point in the history
  • Loading branch information
dinosaure committed Oct 18, 2021
1 parent 2e7a790 commit 6dc0e6e
Showing 1 changed file with 3 additions and 8 deletions.
11 changes: 3 additions & 8 deletions mrmime.opam
Original file line number Diff line number Diff line change
Expand Up @@ -20,15 +20,15 @@ depends: [
"rresult"
"fmt" {>= "0.8.7"}
"ke" {>= "0.4"}
"unstrctrd" {>= "0.2"}
"unstrctrd" {>= "0.3"}
"ptime" {>= "0.8.2"}
"uutf"
"rosetta" {>= "0.3.0"}
"ipaddr"
"emile" {>= "1.0"}
"base64" {>= "3.1.0"}
"pecu" {>= "0.5"}
"prettym"
"pecu" {>= "0.6"}
"prettym" {>= "0.0.2"}
"bigstringaf" {>= "0.5.0"}
"bigarray-compat"
"bigarray-overlap" {>= "0.2.0"}
Expand All @@ -45,8 +45,3 @@ depends: [
"lwt" {with-test}
"logs"
]

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

0 comments on commit 6dc0e6e

Please sign in to comment.