Unison 2.53.8.

Author: jhjourdan

packages/unison-gui/unison-gui.2.53.8/opam

@@ -0,0 +1,32 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [
+  "Trevor Jim"
+  "Benjamin C. Pierce"
+  "Jérôme Vouillon"
+]
+license: "GPL-3.0-or-later"
+homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
+bug-reports: "https://github.com/bcpierce00/unison/issues"
+dev-repo: "git://github.com/bcpierce00/unison.git"
+depends: [
+  "unison" {= version}
+  "lablgtk3"
+  "ocamlfind"
+]
+available: os != "win32"
+synopsis: "Pseudo-package for Unison GUI"
+description: """
+Unison is a file-synchronization tool for Unix and Windows. It allows
+two replicas of a collection of files and directories to be stored on
+different hosts (or different disks on the same host), modified
+separately, and then brought up to date by propagating the changes in
+each replica to the other."""
+url {
+  src:
+    "https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.8.tar.gz"
+  checksum: [
+    "md5=30ed70474d660a0a93de74d97ca22d67"
+    "sha512=3e4ea9dc23645ff472c3d7bae79cad042a8ec0bbd57c8e28c49d1ad08cb2f177b09c60fec4853b11390d5825be74adb19334fcd7d2167963a05f67729890408a"
+  ]
+}

packages/unison/unison.2.53.8/opam

@@ -0,0 +1,44 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [
+  "Trevor Jim"
+  "Benjamin C. Pierce"
+  "Jérôme Vouillon"
+]
+license: "GPL-3.0-or-later"
+homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
+bug-reports: "https://github.com/bcpierce00/unison/issues"
+dev-repo: "git://github.com/bcpierce00/unison.git"
+build: [
+  [make "NATIVE=%{ocaml:native}%" "-j" jobs] {!host-system-msvc:installed}
+  ["nmake" "NATIVE=%{ocaml:native}%"] {host-system-msvc:installed}
+]
+install: [
+  [make "install" "PREFIX=%{prefix}%"] {os != "win32"}
+  ["cmd" "/c" "copy" "src\\unison*.exe" "%{prefix}%\\bin"] {os = "win32"}
+]
+depends: [
+  "ocaml" {>= "4.08"}
+]
+depopts: [
+  "lablgtk3" {>= "3.1.0"}
+  "ocamlfind"
+]
+conflicts: [
+  "lablgtk3" {os = "win32"}
+]
+synopsis: "File-synchronization tool for Unix and Windows"
+description: """
+Unison is a file-synchronization tool for Unix and Windows. It allows
+two replicas of a collection of files and directories to be stored on
+different hosts (or different disks on the same host), modified
+separately, and then brought up to date by propagating the changes in
+each replica to the other."""
+url {
+  src:
+    "https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.8.tar.gz"
+  checksum: [
+    "md5=30ed70474d660a0a93de74d97ca22d67"
+    "sha512=3e4ea9dc23645ff472c3d7bae79cad042a8ec0bbd57c8e28c49d1ad08cb2f177b09c60fec4853b11390d5825be74adb19334fcd7d2167963a05f67729890408a"
+  ]
+}