From 92572cf4caae687f828d9c5876e746f8160c207a Mon Sep 17 00:00:00 2001 From: Paolo Donadeo Date: Sun, 25 Apr 2021 21:48:17 +0200 Subject: [PATCH 1/4] Package lens.1.2.5: Migration to ppxlib --- packages/lens/lens.1.2.5/opam | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 packages/lens/lens.1.2.5/opam diff --git a/packages/lens/lens.1.2.5/opam b/packages/lens/lens.1.2.5/opam new file mode 100644 index 000000000000..a978227e78dc --- /dev/null +++ b/packages/lens/lens.1.2.5/opam @@ -0,0 +1,32 @@ +opam-version: "2.0" +maintainer: "Paolo Donadeo " +authors: [ "Alessandro Strada " ] +license: "BSD-3-Clause" +homepage: "https://github.com/pdonadeo/ocaml-lens" +dev-repo: "git+https://github.com/pdonadeo/ocaml-lens.git" +bug-reports: "https://github.com/pdonadeo/ocaml-lens/issues" +build: [ + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] +depends: [ + "ocaml" {>= "4.10"} + "ppx_deriving" {< "5.0"} + "ppx_tools" {build} + "ppxfind" {build} + "dune" {>= "1.0"} + "ounit" {with-test} +] +synopsis: "Functional lenses" +description: """ +Based on F# implementation in https://github.com/fsharp/fsharpx +see https://github.com/fsharp/fsharpx/blob/master/src/FSharpx.Extras/Lens.fs for the original implementation +see http://bugsquash.blogspot.com/2011/11/lenses-in-f.html - Lenses in F# +see http://stackoverflow.com/questions/8179485/updating-nested-immutable-data-structures - Stackoverflow question about Updating nested immutable data structures +see http://stackoverflow.com/questions/5767129/lenses-fclabels-data-accessor-which-library-for-structure-access-and-mutatio - Haskell libraries for structure access and mutation +see http://www.youtube.com/watch?v=efv0SQNde5Q - Functional lenses for Scala by Edward Kmett on YouTube +see http://patternsinfp.wordpress.com/2011/01/31/lenses-are-the-coalgebras-for-the-costate-comonad - Lenses are the coalgebras for the costate comonad by Jeremy Gibbons""" +url { + src: "https://github.com/pdonadeo/ocaml-lens/archive/v1.2.5.tar.gz" + checksum: "md5=92e4f12cc563927b03953d293a2676be" +} From bbec61fe43ef05034cd6e1bfc18d4882eb40b6b1 Mon Sep 17 00:00:00 2001 From: Paolo Donadeo Date: Mon, 26 Apr 2021 10:04:37 +0200 Subject: [PATCH 2/4] opam file fixed. Thanks to @kit-ty-kate --- packages/lens/lens.1.2.5/opam | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/packages/lens/lens.1.2.5/opam b/packages/lens/lens.1.2.5/opam index a978227e78dc..4eb4c389e673 100644 --- a/packages/lens/lens.1.2.5/opam +++ b/packages/lens/lens.1.2.5/opam @@ -11,9 +11,8 @@ build: [ ] depends: [ "ocaml" {>= "4.10"} - "ppx_deriving" {< "5.0"} - "ppx_tools" {build} - "ppxfind" {build} + "ppx_deriving" + "ppxlib" {build} "dune" {>= "1.0"} "ounit" {with-test} ] From dad6634cd6c6389171b6e657b44650fe4a912429 Mon Sep 17 00:00:00 2001 From: Kate Date: Mon, 26 Apr 2021 12:13:36 +0100 Subject: [PATCH 3/4] lens.1.2.5: Add missing dependency constraints --- packages/lens/lens.1.2.5/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/lens/lens.1.2.5/opam b/packages/lens/lens.1.2.5/opam index 4eb4c389e673..cf85042c21b6 100644 --- a/packages/lens/lens.1.2.5/opam +++ b/packages/lens/lens.1.2.5/opam @@ -11,8 +11,8 @@ build: [ ] depends: [ "ocaml" {>= "4.10"} - "ppx_deriving" - "ppxlib" {build} + "ppx_deriving" {>= "5.1"} + "ppxlib" {>= "0.15.0"} "dune" {>= "1.0"} "ounit" {with-test} ] From 8a8b8c61004e7ef99da5702b39eae2deaf444d5b Mon Sep 17 00:00:00 2001 From: Kate Date: Mon, 26 Apr 2021 12:14:34 +0100 Subject: [PATCH 4/4] lens.1.2.5: Tiny constraint tweak --- packages/lens/lens.1.2.5/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/lens/lens.1.2.5/opam b/packages/lens/lens.1.2.5/opam index cf85042c21b6..7479b2d114d9 100644 --- a/packages/lens/lens.1.2.5/opam +++ b/packages/lens/lens.1.2.5/opam @@ -12,7 +12,7 @@ build: [ depends: [ "ocaml" {>= "4.10"} "ppx_deriving" {>= "5.1"} - "ppxlib" {>= "0.15.0"} + "ppxlib" {>= "0.14.0"} "dune" {>= "1.0"} "ounit" {with-test} ]