this repo has no description
Merge pull request #27268 from orbitz/update-pds-and-hll
UPDATE pds and hll
authored by
Marcello Seri
and committed by
GitHub
f23786d6
f872de4b
+99
+49
packages/hll/hll.4.3/opam
+49
packages/hll/hll.4.3/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "orbitz@gmail.com"
3
+
build: [
4
+
[make "-j%{jobs}%"]
5
+
[make "-j%{jobs}%" "test"] {with-test}
6
+
]
7
+
8
+
install: [
9
+
[make "PREFIX=%{prefix}%" "install"]
10
+
]
11
+
12
+
remove: [
13
+
[make "PREFIX=%{prefix}%" "remove"]
14
+
]
15
+
16
+
depends: [
17
+
"cmdliner" { >= "1.3.0" }
18
+
"containers" { >= "3.12.0" }
19
+
"ocaml" { >= "4.12.0" }
20
+
"ocamlfind"
21
+
"pds" { build & (>= "5" & < "6") }
22
+
"process" { >= "0.2.1" }
23
+
"sha"
24
+
"toml" { >= "6" }
25
+
]
26
+
27
+
authors: [
28
+
"orbitz@gmail.com"
29
+
]
30
+
31
+
synopsis: "Create opam packages from pds.toml"
32
+
license: "BSD-3-Clause"
33
+
34
+
description: """
35
+
Create opam package files from a repository.
36
+
"""
37
+
38
+
homepage: "https://hg.sr.ht/~mmatalka/hll"
39
+
40
+
url {
41
+
src: "http://acsl-pkgs.s3.amazonaws.com/hll-4.3.tar.gz"
42
+
checksum: [
43
+
"md5=06478a115f258009bca9471d2523cb86"
44
+
"sha256=429223479883308e5cf1d1f04329614c9466f2e856391999ba8a69472c304cde"
45
+
]
46
+
}
47
+
bug-reports: "https://todo.sr.ht/~mmatalka/hll"
48
+
dev-repo: "hg+ssh://hg@hg.sr.ht/~mmatalka/hll"
49
+
+50
packages/pds/pds.5.42/opam
+50
packages/pds/pds.5.42/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "orbitz@gmail.com"
3
+
build: [
4
+
[make "-j%{jobs}%"]
5
+
[make "-j%{jobs}%" "test"] {with-test}
6
+
]
7
+
8
+
install: [
9
+
[make "PREFIX=%{prefix}%" "install"]
10
+
]
11
+
12
+
remove: [
13
+
[make "PREFIX=%{prefix}%" "remove"]
14
+
]
15
+
16
+
depends: [
17
+
"cmdliner" { >= "1.3.0" }
18
+
"containers" { >= "3.12.0" }
19
+
"crunch"
20
+
"ocaml" { >= "4.12.0" }
21
+
"ocamlfind"
22
+
"ppx_deriving"
23
+
"process" { >= "0.2.1" }
24
+
"sedlex"
25
+
"toml" { >= "6" }
26
+
]
27
+
28
+
authors: [
29
+
"orbitz@gmail.com"
30
+
]
31
+
32
+
synopsis: "Create Makefile's for building Ocaml projects"
33
+
license: "BSD-3-Clause"
34
+
35
+
description: """
36
+
A tool to build Makefiles for Ocaml projects.
37
+
"""
38
+
39
+
homepage: "https://hg.sr.ht/~mmatalka/pds"
40
+
41
+
url {
42
+
src: "http://acsl-pkgs.s3.amazonaws.com/pds-5.42.tar.gz"
43
+
checksum: [
44
+
"md5=cf97ba8e700d1424f6dbc55abf7b97e9"
45
+
"sha256=ead769f305c2757494343eba5f38c2f8e9a2e3f496712ed4be128b56441524e7"
46
+
]
47
+
}
48
+
bug-reports: "https://todo.sr.ht/~mmatalka/pds"
49
+
dev-repo: "hg+ssh://hg@hg.sr.ht/~mmatalka/pds"
50
+