this repo has no description
2 packages from bcpierce00/unison at 2.53.7
+66
+31
packages/unison-gui/unison-gui.2.53.7/opam
+31
packages/unison-gui/unison-gui.2.53.7/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "unison-hackers@lists.seas.upenn.edu"
3
+
authors: [
4
+
"Trevor Jim"
5
+
"Benjamin C. Pierce"
6
+
"Jérôme Vouillon"
7
+
]
8
+
license: "GPL-3.0-or-later"
9
+
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
10
+
bug-reports: "https://github.com/bcpierce00/unison/issues"
11
+
dev-repo: "git://github.com/bcpierce00/unison.git"
12
+
depends: [
13
+
"unison" {= version}
14
+
"lablgtk3"
15
+
"ocamlfind"
16
+
]
17
+
synopsis: "Pseudo-package for Unison GUI"
18
+
description: """
19
+
Unison is a file-synchronization tool for Unix and Windows. It allows
20
+
two replicas of a collection of files and directories to be stored on
21
+
different hosts (or different disks on the same host), modified
22
+
separately, and then brought up to date by propagating the changes in
23
+
each replica to the other."""
24
+
url {
25
+
src:
26
+
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.7.tar.gz"
27
+
checksum: [
28
+
"md5=e49a78c1e159d4d2315fb5264c83ed59"
29
+
"sha512=11bd1d2792fb84fa2b29426516d7b91a2295febcb84052118d492a29d9ddaa23265b66cc88113019ec6782f3edcf596f7a37c8637e673b2928188248b9d63d60"
30
+
]
31
+
}
+35
packages/unison/unison.2.53.7/opam
+35
packages/unison/unison.2.53.7/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "unison-hackers@lists.seas.upenn.edu"
3
+
authors: [
4
+
"Trevor Jim"
5
+
"Benjamin C. Pierce"
6
+
"Jérôme Vouillon"
7
+
]
8
+
license: "GPL-3.0-or-later"
9
+
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
10
+
bug-reports: "https://github.com/bcpierce00/unison/issues"
11
+
dev-repo: "git://github.com/bcpierce00/unison.git"
12
+
build: [make "NATIVE=%{ocaml:native}%" "-j" jobs]
13
+
install: [make "NATIVE=%{ocaml:native}%" "PREFIX=%{prefix}%" "install"]
14
+
depends: [
15
+
"ocaml" {>= "4.08"}
16
+
]
17
+
depopts: [
18
+
"lablgtk3" {>= "3.1.0"}
19
+
"ocamlfind"
20
+
]
21
+
synopsis: "File-synchronization tool for Unix and Windows"
22
+
description: """
23
+
Unison is a file-synchronization tool for Unix and Windows. It allows
24
+
two replicas of a collection of files and directories to be stored on
25
+
different hosts (or different disks on the same host), modified
26
+
separately, and then brought up to date by propagating the changes in
27
+
each replica to the other."""
28
+
url {
29
+
src:
30
+
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.7.tar.gz"
31
+
checksum: [
32
+
"md5=e49a78c1e159d4d2315fb5264c83ed59"
33
+
"sha512=11bd1d2792fb84fa2b29426516d7b91a2295febcb84052118d492a29d9ddaa23265b66cc88113019ec6782f3edcf596f7a37c8637e673b2928188248b9d63d60"
34
+
]
35
+
}