Skip to content

Commit dc6385f

Browse files
dinosauredinosaure
committed
[new release] docteur (3 packages) (0.0.7)
CHANGES: - Upgrade with `mirage-flow.4.0.0` (@dinosaure, dinosaure/docteur#31, dinosaure/docteur#33)
1 parent c00383f commit dc6385f

File tree

3 files changed

+112
-0
lines changed
  • packages
    • docteur-solo5/docteur-solo5.0.0.7
    • docteur-unix/docteur-unix.0.0.7
    • docteur/docteur.0.0.7

3 files changed

+112
-0
lines changed

‎packages/docteur-solo5/docteur-solo5.0.0.7/opam

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
opam-version: "2.0"
2+
synopsis: "A simple read-only Key/Value from Git to MirageOS"
3+
description: "An opiniated file-system for MirageOS"
4+
maintainer: "Romain Calascibetta <[email protected]>"
5+
authors: "Romain Calascibetta <[email protected]>"
6+
license: "MIT"
7+
homepage: "https://github.com/dinosaure/docteur"
8+
doc: "https://dinosaure.github.io/docteur/"
9+
bug-reports: "https://github.com/dinosaure/docteur/issues"
10+
depends: [
11+
"ocaml" {>= "4.07.0"}
12+
"dune" {>= "2.8.0"}
13+
"docteur" {= version}
14+
"mirage-solo5" {>= "0.7.0"}
15+
"mirage-block-solo5"
16+
"art" {>= "0.1.1"}
17+
"bigstringaf" {>= "0.7.0"}
18+
"carton" {>= "0.4.1"}
19+
"digestif" {>= "1.0.0"}
20+
"git" {>= "3.7.0"}
21+
"hxd" {>= "0.3.1"}
22+
"lwt" {>= "5.4.0"}
23+
"mirage-kv" {>= "6.1.0"}
24+
]
25+
build: ["dune" "build" "-p" name "-j" jobs]
26+
run-test: ["dune" "runtest" "-p" name "-j" jobs]
27+
dev-repo: "git+https://github.com/dinosaure/docteur.git"
28+
url {
29+
src:
30+
"https://github.com/dinosaure/docteur/releases/download/v0.0.7/docteur-0.0.7.tbz"
31+
checksum: [
32+
"sha256=8bfdbcbb49e668f115634cb5923e72e0faeb21efcf76e996d8c59719f3c50458"
33+
"sha512=d3a1c1cae65db8ab0e9e986bef0bf1720a30f60af5ee4cbb7808483f9a8a9deffbb30271c12dbcfcd76655273efeb570a1aea9da7a8846fa52a0f335493a8652"
34+
]
35+
}
36+
x-commit-hash: "c36cb75eaaea9de03caff3734600db00d874e389"

‎packages/docteur-unix/docteur-unix.0.0.7/opam

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
opam-version: "2.0"
2+
synopsis: "A simple read-only Key/Value from Git to MirageOS"
3+
description: "An opiniated file-system for MirageOS"
4+
maintainer: "Romain Calascibetta <[email protected]>"
5+
authors: "Romain Calascibetta <[email protected]>"
6+
license: "MIT"
7+
homepage: "https://github.com/dinosaure/docteur"
8+
doc: "https://dinosaure.github.io/docteur/"
9+
bug-reports: "https://github.com/dinosaure/docteur/issues"
10+
depends: [
11+
"ocaml" {>= "4.07.0"}
12+
"dune" {>= "2.8.0"}
13+
"docteur" {= version}
14+
"mirage-unix" {>= "5.0.0"}
15+
"art" {>= "0.1.1"}
16+
"bigstringaf" {>= "0.7.0"}
17+
"carton" {>= "0.4.1"}
18+
"digestif" {>= "1.0.0"}
19+
"git" {>= "3.7.0"}
20+
"logs" {>= "0.7.0"}
21+
"lwt" {>= "5.4.0"}
22+
"mirage-kv" {>= "6.1.0"}
23+
]
24+
build: ["dune" "build" "-p" name "-j" jobs]
25+
run-test: ["dune" "runtest" "-p" name "-j" jobs]
26+
dev-repo: "git+https://github.com/dinosaure/docteur.git"
27+
url {
28+
src:
29+
"https://github.com/dinosaure/docteur/releases/download/v0.0.7/docteur-0.0.7.tbz"
30+
checksum: [
31+
"sha256=8bfdbcbb49e668f115634cb5923e72e0faeb21efcf76e996d8c59719f3c50458"
32+
"sha512=d3a1c1cae65db8ab0e9e986bef0bf1720a30f60af5ee4cbb7808483f9a8a9deffbb30271c12dbcfcd76655273efeb570a1aea9da7a8846fa52a0f335493a8652"
33+
]
34+
}
35+
x-commit-hash: "c36cb75eaaea9de03caff3734600db00d874e389"

‎packages/docteur/docteur.0.0.7/opam

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
opam-version: "2.0"
2+
synopsis: "A simple read-only Key/Value from Git to MirageOS"
3+
maintainer: "Romain Calascibetta <[email protected]>"
4+
authors: "Romain Calascibetta <[email protected]>"
5+
license: "MIT"
6+
homepage: "https://github.com/dinosaure/docteur"
7+
doc: "https://dinosaure.github.io/docteur/"
8+
bug-reports: "https://github.com/dinosaure/docteur/issues"
9+
description: """An opiniated file-system for MirageOS"""
10+
depends: [
11+
"ocaml" {>= "4.07.0"}
12+
"dune" {>= "2.8.0"}
13+
"bigstringaf" {>= "0.9.0"}
14+
"bos" {>= "0.2.0"}
15+
"cmdliner" {>= "1.1.0"}
16+
"digestif" {>= "1.0.0"}
17+
"fmt" {>= "0.8.9"}
18+
"fpath" {>= "0.7.0"}
19+
"git" {>= "3.7.0"}
20+
"git-unix" {>= "3.7.0"}
21+
"logs" {>= "0.7.0"}
22+
"lwt" {>= "5.4.0"}
23+
"mtime" {>= "2.0.0"}
24+
"result" {>= "1.5"}
25+
"rresult" {>= "0.6.0"}
26+
"carton" {>= "0.4.0"}
27+
"art" {>= "0.1.1"}
28+
"mmap"
29+
]
30+
build: ["dune" "build" "-p" name "-j" jobs]
31+
run-test: ["dune" "runtest" "-p" name "-j" jobs]
32+
dev-repo: "git+https://github.com/dinosaure/docteur.git"
33+
url {
34+
src:
35+
"https://github.com/dinosaure/docteur/releases/download/v0.0.7/docteur-0.0.7.tbz"
36+
checksum: [
37+
"sha256=8bfdbcbb49e668f115634cb5923e72e0faeb21efcf76e996d8c59719f3c50458"
38+
"sha512=d3a1c1cae65db8ab0e9e986bef0bf1720a30f60af5ee4cbb7808483f9a8a9deffbb30271c12dbcfcd76655273efeb570a1aea9da7a8846fa52a0f335493a8652"
39+
]
40+
}
41+
x-commit-hash: "c36cb75eaaea9de03caff3734600db00d874e389"

0 commit comments

Comments
 (0)