diff --git a/packages/lens/lens.1.2.5/opam b/packages/lens/lens.1.2.5/opam
new file mode 100644
index 00000000000..7479b2d114d
--- /dev/null
+++ b/packages/lens/lens.1.2.5/opam
@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer: "Paolo Donadeo <p.donadeo@gmail.com>"
+authors: [ "Alessandro Strada <alessandro.strada@gmail.com>" ]
+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.1"}
+  "ppxlib"          {>= "0.14.0"}
+  "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"
+}