An overlay for monopampam
Sync opam files from monorepo (updated 70 packages)
+1130
-73
+1
packages/aos/aos.dev/opam
+1
packages/aos/aos.dev/opam
+2
-2
packages/atp-lexicon-atproto/atp-lexicon-atproto.dev/opam
+2
-2
packages/atp-lexicon-atproto/atp-lexicon-atproto.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+2
-2
packages/atp-lexicon-bsky/atp-lexicon-bsky.dev/opam
+2
-2
packages/atp-lexicon-bsky/atp-lexicon-bsky.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+2
-2
packages/atp-lexicon-standard-site/atp-lexicon-standard-site.dev/opam
+2
-2
packages/atp-lexicon-standard-site/atp-lexicon-standard-site.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+2
-2
packages/atp-lexicon-tangled/atp-lexicon-tangled.dev/opam
+2
-2
packages/atp-lexicon-tangled/atp-lexicon-tangled.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+2
-2
packages/atp-xrpc/atp-xrpc.dev/opam
+2
-2
packages/atp-xrpc/atp-xrpc.dev/opam
···
35
35
]
36
36
x-maintenance-intent: ["(latest)"]
37
37
38
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
38
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
39
39
url {
40
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
40
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
41
41
}
+2
-2
packages/atp/atp.dev/opam
+2
-2
packages/atp/atp.dev/opam
···
36
36
]
37
37
x-maintenance-intent: ["(latest)"]
38
38
39
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
39
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
40
40
url {
41
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
41
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
42
42
}
-1
packages/block/block.dev/opam
-1
packages/block/block.dev/opam
+2
-2
packages/bsky/bsky.dev/opam
+2
-2
packages/bsky/bsky.dev/opam
···
39
39
]
40
40
x-maintenance-intent: ["(latest)"]
41
41
42
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
42
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
43
43
url {
44
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
44
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
45
45
}
+1
-1
packages/bundle/bundle.dev/opam
+1
-1
packages/bundle/bundle.dev/opam
+2
-2
packages/bytesrw-eio/bytesrw-eio.dev/opam
+2
-2
packages/bytesrw-eio/bytesrw-eio.dev/opam
···
32
32
]
33
33
x-maintenance-intent: ["(latest)"]
34
34
35
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-bytesrw-eio"
35
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-bytesrw-eio.git"
36
36
url {
37
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-bytesrw-eio#main"
37
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-bytesrw-eio.git#main"
38
38
}
+2
-2
packages/ca-certs/ca-certs.dev/opam
+2
-2
packages/ca-certs/ca-certs.dev/opam
···
47
47
]
48
48
x-maintenance-intent: [ "(latest)" ]
49
49
50
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ca-certs"
50
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ca-certs.git"
51
51
url {
52
-
src: "git+https://tangled.org/gazagnaire.org/ca-certs#main"
52
+
src: "git+https://tangled.sh/@gazagnaire.org/ca-certs.git#main"
53
53
}
+2
-2
packages/cbort/cbort.dev/opam
+2
-2
packages/cbort/cbort.dev/opam
···
33
33
]
34
34
x-maintenance-intent: ["(latest)"]
35
35
36
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-cbort"
36
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-cbort.git"
37
37
url {
38
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-cbort#main"
38
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-cbort.git#main"
39
39
}
+1
packages/cfdp/cfdp.dev/opam
+1
packages/cfdp/cfdp.dev/opam
+2
-2
packages/claude/claude.dev/opam
+2
-2
packages/claude/claude.dev/opam
···
36
36
]
37
37
x-maintenance-intent: ["(latest)"]
38
38
39
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-claudeio"
39
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-claudeio.git"
40
40
url {
41
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-claudeio#main"
41
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-claudeio.git#main"
42
42
}
+1
packages/clcw/clcw.dev/opam
+1
packages/clcw/clcw.dev/opam
+2
-2
packages/conpool/conpool.dev/opam
+2
-2
packages/conpool/conpool.dev/opam
···
33
33
]
34
34
x-maintenance-intent: ["(latest)"]
35
35
36
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-conpool"
36
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-conpool.git"
37
37
url {
38
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-conpool#main"
38
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-conpool.git#main"
39
39
}
+2
-2
packages/cookeio/cookeio.dev/opam
+2
-2
packages/cookeio/cookeio.dev/opam
···
36
36
]
37
37
x-maintenance-intent: ["(latest)"]
38
38
39
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-cookeio"
39
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-cookeio.git"
40
40
url {
41
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-cookeio#main"
41
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-cookeio.git#main"
42
42
}
+34
packages/crc/crc.dev/opam
+34
packages/crc/crc.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "CRC checksums for OCaml"
3
+
description:
4
+
"Pure OCaml implementations of common CRC algorithms: CRC-16-CCITT, CRC-16-X.25, CRC-32, and CRC-32C (Castagnoli). Table-based for performance."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "4.14"}
11
+
"alcotest" {with-test}
12
+
"crowbar" {with-test}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
x-maintenance-intent: ["(latest)"]
30
+
31
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crc"
32
+
url {
33
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-crc#main"
34
+
}
+43
packages/dupfind/dupfind.dev/opam
+43
packages/dupfind/dupfind.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Duplicate code detection for OCaml"
3
+
description:
4
+
"Find duplicate code fragments across OCaml packages using AST normalization and structural hashing"
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"ocaml"
10
+
"dune" {>= "3.21"}
11
+
"cmdliner"
12
+
"eio_main"
13
+
"tty"
14
+
"vlog"
15
+
"logs"
16
+
"fmt"
17
+
"fpath"
18
+
"bos"
19
+
"re"
20
+
"jsont"
21
+
"memtrace"
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
]
38
+
x-maintenance-intent: ["(latest)"]
39
+
40
+
dev-repo: "git+https://tangled.org/gazagnaire.org/dupfind"
41
+
url {
42
+
src: "git+https://tangled.org/gazagnaire.org/dupfind#main"
43
+
}
+41
packages/fdir/fdir.dev/opam
+41
packages/fdir/fdir.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Integrity monitoring for kernel isolation structures"
3
+
description: """
4
+
Periodic integrity checker that takes known-good snapshots of kernel
5
+
isolation structures (page tables, seccomp filters, cgroup configs,
6
+
memory mappings) at boot and detects radiation-induced corruption
7
+
by comparing against them on a timer."""
8
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
9
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
10
+
license: "ISC"
11
+
depends: [
12
+
"ocaml" {>= "5.1"}
13
+
"dune" {>= "3.21" & >= "3.0"}
14
+
"eio" {>= "1.0"}
15
+
"digestif" {>= "1.0"}
16
+
"fmt" {>= "0.9"}
17
+
"logs" {>= "0.7"}
18
+
"alcotest" {with-test}
19
+
"eio_main" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
x-maintenance-intent: ["(latest)"]
37
+
38
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-fdir"
39
+
url {
40
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-fdir#main"
41
+
}
+2
-2
packages/hermest-cli/hermest-cli.dev/opam
+2
-2
packages/hermest-cli/hermest-cli.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+2
-2
packages/hermest/hermest.dev/opam
+2
-2
packages/hermest/hermest.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
36
36
}
+37
packages/initramfs/initramfs.dev/opam
+37
packages/initramfs/initramfs.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Build initramfs cpio archives from file and directory entries"
3
+
description: """
4
+
High-level API for building Linux initramfs images (cpio newc format).
5
+
Supports directories, files, and recursive directory trees."""
6
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8
+
license: "ISC"
9
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-initramfs"
10
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-initramfs/issues"
11
+
depends: [
12
+
"dune" {>= "3.21"}
13
+
"ocaml" {>= "5.1"}
14
+
"cpio" {>= "0.1"}
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
x-maintenance-intent: ["(latest)"]
33
+
34
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-initramfs.git"
35
+
url {
36
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-initramfs.git#main"
37
+
}
+34
packages/jailhouse/jailhouse.dev/opam
+34
packages/jailhouse/jailhouse.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Jailhouse partitioning hypervisor configuration"
3
+
description:
4
+
"OCaml types for describing Jailhouse cell configurations and inter-partition communication channels. Used to define partition topologies that run on Jailhouse (Linux/ARM) or fall back to per-partition QEMU instances (macOS)."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"fmt" {>= "0.9"}
12
+
"alcotest" {with-test}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
x-maintenance-intent: ["(latest)"]
30
+
31
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-jailhouse"
32
+
url {
33
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-jailhouse#main"
34
+
}
+2
-2
packages/jsonwt/jsonwt.dev/opam
+2
-2
packages/jsonwt/jsonwt.dev/opam
···
45
45
]
46
46
x-maintenance-intent: ["(latest)"]
47
47
48
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-jsonwt"
48
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-jsonwt.git"
49
49
url {
50
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-jsonwt#main"
50
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-jsonwt.git#main"
51
51
}
+41
packages/linkedin/linkedin.dev/opam
+41
packages/linkedin/linkedin.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml client for the LinkedIn Voyager API"
3
+
description:
4
+
"Access LinkedIn profile data and feed posts from OCaml using the Voyager API. Provides typed bindings for profiles and posts."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "MIT"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"eio" {>= "1.0"}
12
+
"requests" {>= "0.1"}
13
+
"fmt" {>= "0.9"}
14
+
"logs" {>= "0.7"}
15
+
"jsont" {>= "0.1"}
16
+
"crypto" {>= "0.1"}
17
+
"kdf" {>= "0.1"}
18
+
"cmdliner" {>= "1.2"}
19
+
"alcotest" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
x-maintenance-intent: ["(latest)"]
37
+
38
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-linkedin"
39
+
url {
40
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-linkedin#main"
41
+
}
+36
packages/memtrace/memtrace.dev/opam
+36
packages/memtrace/memtrace.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Streaming client for Memprof"
3
+
description:
4
+
"Generates compact traces of a program's memory use via the Memprof interface. Includes tools for dumping, subsampling, and visualizing allocation traces."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Jane Street Group, LLC"]
7
+
license: "MIT"
8
+
homepage: "https://github.com/janestreet/memtrace"
9
+
bug-reports: "https://github.com/janestreet/memtrace/issues"
10
+
depends: [
11
+
"dune" {>= "3.17"}
12
+
"ocaml" {>= "5.2"}
13
+
"fmt" {>= "0.9.0"}
14
+
"cmdliner" {>= "1.3.0"}
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
33
+
dev-repo: "git+https://github.com/janestreet/memtrace.git"
34
+
url {
35
+
src: "git+https://github.com/janestreet/memtrace.git#main"
36
+
}
+2
-2
packages/monopam/monopam.dev/opam
+2
-2
packages/monopam/monopam.dev/opam
···
44
44
]
45
45
x-maintenance-intent: ["(latest)"]
46
46
47
-
dev-repo: "git+https://tangled.org/gazagnaire.org/monopam"
47
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/monopam.git"
48
48
url {
49
-
src: "git+https://tangled.org/gazagnaire.org/monopam#main"
49
+
src: "git+https://tangled.sh/@anil.recoil.org/monopam.git#main"
50
50
}
+36
packages/openamp/openamp.dev/opam
+36
packages/openamp/openamp.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OpenAMP remoteproc interface for SpaceOS"
3
+
description:
4
+
"OCaml bindings to the Linux remoteproc sysfs interface for managing remote processors via OpenAMP. Used on Zynq UltraScale+ to load firmware and start/stop the R5 co-processor from SpaceOS (Linux on A53)."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"eio" {>= "1.0"}
12
+
"eio_main" {>= "1.0"}
13
+
"fmt" {>= "0.9"}
14
+
"alcotest" {with-test}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
x-maintenance-intent: ["(latest)"]
32
+
33
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-openamp"
34
+
url {
35
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-openamp#main"
36
+
}
+2
-2
packages/osrelease/osrelease.dev/opam
+2
-2
packages/osrelease/osrelease.dev/opam
+44
packages/pid1/pid1.dev/opam
+44
packages/pid1/pid1.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Minimal OCaml PID 1 for SpaceOS VMs"
3
+
description:
4
+
"Minimal init process for SpaceOS virtual machines. Mounts essential filesystems, reads the SpaceOS superblock from virtio-blk, and reports status to the serial console."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"crc" {>= "0.1"}
12
+
"eio" {>= "1.0"}
13
+
"eio_main" {>= "1.0"}
14
+
"fmt" {>= "0.9"}
15
+
"logs" {>= "0.7"}
16
+
"space-block" {>= "0.1"}
17
+
"block" {>= "0.1"}
18
+
"wire"
19
+
"space-wire"
20
+
"zephyr"
21
+
"checkseum" {with-test}
22
+
"alcotest" {with-test}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
26
+
["dune" "subst"] {dev}
27
+
[
28
+
"dune"
29
+
"build"
30
+
"-p"
31
+
name
32
+
"-j"
33
+
jobs
34
+
"@install"
35
+
"@runtest" {with-test}
36
+
"@doc" {with-doc}
37
+
]
38
+
]
39
+
x-maintenance-intent: ["(latest)"]
40
+
41
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-pid1"
42
+
url {
43
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-pid1#main"
44
+
}
+2
-2
packages/publicsuffix/publicsuffix.dev/opam
+2
-2
packages/publicsuffix/publicsuffix.dev/opam
···
32
32
]
33
33
x-maintenance-intent: ["(latest)"]
34
34
35
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-publicsuffix"
35
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-publicsuffix.git"
36
36
url {
37
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-publicsuffix#main"
37
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-publicsuffix.git#main"
38
38
}
+2
-2
packages/punycode/punycode.dev/opam
+2
-2
packages/punycode/punycode.dev/opam
···
34
34
]
35
35
x-maintenance-intent: ["(latest)"]
36
36
37
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-punycode"
37
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-punycode.git"
38
38
url {
39
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-punycode#main"
39
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-punycode.git#main"
40
40
}
+42
packages/qemu/qemu.dev/opam
+42
packages/qemu/qemu.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "QEMU/KVM virtual machine management"
3
+
description:
4
+
"OCaml library for managing QEMU virtual machines via QMP (QEMU Machine Protocol). Provides typed configuration, VM lifecycle management, and event handling."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-qemu"
9
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-qemu/issues"
10
+
depends: [
11
+
"dune" {>= "3.21"}
12
+
"ocaml" {>= "5.1"}
13
+
"eio" {>= "1.0"}
14
+
"eio_main" {>= "1.0"}
15
+
"jsont" {>= "0.1.0"}
16
+
"bytesrw" {>= "0.1.0"}
17
+
"vlog" {>= "0.1.0"}
18
+
"tty" {>= "0.1.0"}
19
+
"cmdliner" {>= "1.2.0"}
20
+
"alcotest" {with-test}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"@install"
33
+
"@runtest" {with-test}
34
+
"@doc" {with-doc}
35
+
]
36
+
]
37
+
x-maintenance-intent: ["(latest)"]
38
+
39
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-qemu.git"
40
+
url {
41
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-qemu.git#main"
42
+
}
+2
-3
packages/requests/requests.dev/opam
+2
-3
packages/requests/requests.dev/opam
···
32
32
"logs"
33
33
"domain-name"
34
34
"cstruct"
35
-
"optint"
36
35
"conpool"
37
36
"decompress"
38
37
"bigstringaf"
···
57
56
]
58
57
x-maintenance-intent: ["(latest)"]
59
58
60
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-requests"
59
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-requests.git"
61
60
url {
62
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-requests#main"
61
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-requests.git#main"
63
62
}
+88
packages/root/root.dev/opam
+88
packages/root/root.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Monorepo root package with external dependencies"
3
+
depends: [
4
+
"alcotest"
5
+
"asn1-combinators"
6
+
"astring"
7
+
"base64"
8
+
"bheap"
9
+
"bigstringaf"
10
+
"bitv"
11
+
"bos"
12
+
"bytesrw"
13
+
"checkseum"
14
+
"cmarkit"
15
+
"cmdliner"
16
+
"conf-gmp-powm-sec"
17
+
"conf-zlib"
18
+
"conf-zstd"
19
+
"crowbar"
20
+
"cstruct"
21
+
"decompress"
22
+
"digestif"
23
+
"dns"
24
+
"domain-name"
25
+
"dune" {>= "3.20"}
26
+
"dune-build-info"
27
+
"dune-configurator"
28
+
"duration"
29
+
"eio"
30
+
"eio_main"
31
+
"eio_posix"
32
+
"eqaf"
33
+
"fmt"
34
+
"fpath"
35
+
"gmap"
36
+
"ipaddr"
37
+
"jsonm"
38
+
"jsont"
39
+
"logs"
40
+
"macaddr"
41
+
"magic-mime"
42
+
"mdx"
43
+
"memtrace"
44
+
"merlin"
45
+
"multibase"
46
+
"ocaml"
47
+
"ocamlformat"
48
+
"odoc"
49
+
"ohex"
50
+
"opam-file-format"
51
+
"ounit2"
52
+
"parsexp"
53
+
"printbox"
54
+
"printbox-text"
55
+
"progress"
56
+
"ptime"
57
+
"randomconv"
58
+
"re"
59
+
"sexplib0"
60
+
"sqlite3"
61
+
"uri"
62
+
"uucp"
63
+
"uuidm"
64
+
"uunf"
65
+
"uutf"
66
+
"xdg"
67
+
"zarith"
68
+
]
69
+
build: [
70
+
["dune" "subst"] {dev}
71
+
[
72
+
"dune"
73
+
"build"
74
+
"-p"
75
+
name
76
+
"-j"
77
+
jobs
78
+
"@install"
79
+
"@runtest" {with-test}
80
+
"@doc" {with-doc}
81
+
]
82
+
]
83
+
x-maintenance-intent: ["(latest)"]
84
+
85
+
dev-repo: "git+https://tangled.org/gazagnaire.org/mono"
86
+
url {
87
+
src: "git+https://tangled.org/gazagnaire.org/mono#main"
88
+
}
+37
packages/rpmsg/rpmsg.dev/opam
+37
packages/rpmsg/rpmsg.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "RPMsg inter-partition messaging for SpaceOS"
3
+
description:
4
+
"OCaml bindings to the Linux RPMsg character device interface for inter-partition messaging. Used for IPC between SpaceOS (Linux) and co-processor partitions via virtio vrings on Jailhouse, Xen, and Zynq UltraScale+ platforms."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"eio" {>= "1.0"}
12
+
"eio_main" {>= "1.0"}
13
+
"fmt" {>= "0.9"}
14
+
"wire"
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
x-maintenance-intent: ["(latest)"]
33
+
34
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-rpmsg"
35
+
url {
36
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-rpmsg#main"
37
+
}
+39
packages/sbom/sbom.dev/opam
+39
packages/sbom/sbom.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Software Bill of Materials (SBOM) generation for OCaml"
3
+
description: """
4
+
Generate and parse Software Bill of Materials in CycloneDX 1.6 and SPDX 2.3
5
+
formats. Provides typed OCaml representations with JSON codec support for
6
+
supply-chain traceability."""
7
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
9
+
license: "ISC"
10
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-sbom"
11
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-sbom/issues"
12
+
depends: [
13
+
"dune" {>= "3.21"}
14
+
"ocaml" {>= "5.1"}
15
+
"jsont" {>= "0.1"}
16
+
"uuidm" {>= "0.9"}
17
+
"alcotest" {with-test}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
x-maintenance-intent: ["(latest)"]
35
+
36
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-sbom.git"
37
+
url {
38
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-sbom.git#main"
39
+
}
+41
packages/slack/slack.dev/opam
+41
packages/slack/slack.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "OCaml client for the Slack Web API"
3
+
description:
4
+
"Access the Slack Web API from OCaml. Provides typed bindings for channels, messages, users, files, reactions, and more."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "MIT"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"eio" {>= "1.0"}
12
+
"requests" {>= "0.1"}
13
+
"fmt" {>= "0.9"}
14
+
"logs" {>= "0.7"}
15
+
"jsont" {>= "0.1"}
16
+
"uri" {>= "4.0"}
17
+
"re" {>= "1.10"}
18
+
"cmdliner" {>= "1.2"}
19
+
"alcotest" {with-test}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
x-maintenance-intent: ["(latest)"]
37
+
38
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-slack"
39
+
url {
40
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-slack#main"
41
+
}
+2
-2
packages/sle-eio/sle-eio.dev/opam
+2
-2
packages/sle-eio/sle-eio.dev/opam
···
35
35
]
36
36
x-maintenance-intent: ["(latest)"]
37
37
38
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-sle"
38
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-sle.git"
39
39
url {
40
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-sle#main"
40
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-sle.git#main"
41
41
}
+2
-2
packages/sle/sle.dev/opam
+2
-2
packages/sle/sle.dev/opam
···
35
35
]
36
36
x-maintenance-intent: ["(latest)"]
37
37
38
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-sle"
38
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-sle.git"
39
39
url {
40
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-sle#main"
40
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-sle.git#main"
41
41
}
+45
packages/space-block/space-block.dev/opam
+45
packages/space-block/space-block.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS block storage layout"
3
+
description:
4
+
"Block device management for SpaceOS VMs. Handles superblock, parameter store, event log, and data product areas backed by virtio-blk devices."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"block"
12
+
"space-wire"
13
+
"wire"
14
+
"checkseum"
15
+
"eio" {>= "1.0"}
16
+
"eio_main" {>= "1.0"}
17
+
"qemu"
18
+
"cpio"
19
+
"cmdliner" {>= "1.2.0"}
20
+
"fmt" {>= "0.9"}
21
+
"logs" {>= "0.7"}
22
+
"vlog" {>= "0.1.0"}
23
+
"alcotest" {with-test}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
x-maintenance-intent: ["(latest)"]
41
+
42
+
dev-repo: "git+https://tangled.org/gazagnaire.org/space-block"
43
+
url {
44
+
src: "git+https://tangled.org/gazagnaire.org/space-block#main"
45
+
}
+52
packages/space-dtn/space-dtn.dev/opam
+52
packages/space-dtn/space-dtn.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"DTN daemon with policy DSL for software-defined satellite networking"
4
+
description: """
5
+
space-dtn is a Delay-Tolerant Networking daemon with an embedded policy
6
+
language for software-defined satellite networking. It supports multi-tenant
7
+
resource delegation, contact graph routing, and DTN-native control via
8
+
admin bundles."""
9
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
10
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
11
+
license: "ISC"
12
+
homepage: "https://tangled.org/gazagnaire.org/space-dtn"
13
+
bug-reports: "https://tangled.org/gazagnaire.org/space-dtn/issues"
14
+
depends: [
15
+
"dune" {>= "3.21"}
16
+
"ocaml" {>= "5.1"}
17
+
"bundle" {>= "0.1"}
18
+
"cgr" {>= "0.1"}
19
+
"tcpcl" {>= "0.1"}
20
+
"cbort" {>= "0.1"}
21
+
"delegation" {>= "0.1"}
22
+
"eio" {>= "1.0"}
23
+
"eio_main" {>= "1.0"}
24
+
"cmdliner" {>= "1.2"}
25
+
"fmt" {>= "0.9"}
26
+
"logs" {>= "0.7"}
27
+
"vlog"
28
+
"tty"
29
+
"alcotest" {with-test}
30
+
"crowbar" {with-test}
31
+
"odoc" {with-doc}
32
+
]
33
+
build: [
34
+
["dune" "subst"] {dev}
35
+
[
36
+
"dune"
37
+
"build"
38
+
"-p"
39
+
name
40
+
"-j"
41
+
jobs
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
]
47
+
x-maintenance-intent: ["(latest)"]
48
+
49
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/space-dtn.git"
50
+
url {
51
+
src: "git+https://tangled.sh/@gazagnaire.org/space-dtn.git#main"
52
+
}
+41
packages/space-ground/space-ground.dev/opam
+41
packages/space-ground/space-ground.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS ground station with web dashboard"
3
+
description:
4
+
"Connects to the VMM ground socket, decodes SpaceOS frames, and serves a live Tailwind CSS dashboard via HTTP with Server-Sent Events."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"space-wire"
12
+
"wire"
13
+
"eio" {>= "1.0"}
14
+
"eio_main" {>= "1.0"}
15
+
"cmdliner" {>= "1.3"}
16
+
"fmt" {>= "0.9"}
17
+
"helix"
18
+
"signal" {>= "0.1.0"}
19
+
"js_of_ocaml" {>= "5.0"}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
]
36
+
x-maintenance-intent: ["(latest)"]
37
+
38
+
dev-repo: "git+https://tangled.org/gazagnaire.org/space-ground"
39
+
url {
40
+
src: "git+https://tangled.org/gazagnaire.org/space-ground#main"
41
+
}
+47
packages/space-net/space-net.dev/opam
+47
packages/space-net/space-net.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "APID-based virtual switch for SpaceOS inter-guest routing"
3
+
description: """
4
+
space-net is the APID virtual switch that routes 256-byte wire frames
5
+
between guest VMs (via Unix domain sockets simulating virtio-net) and
6
+
space-dtn for uplink/downlink. Supports multi-tenant APID allocation,
7
+
inter-guest policy enforcement, and CCSDS Space Packet wrapping."""
8
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
9
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
10
+
license: "ISC"
11
+
homepage: "https://tangled.org/gazagnaire.org/space-net"
12
+
bug-reports: "https://tangled.org/gazagnaire.org/space-net/issues"
13
+
depends: [
14
+
"dune" {>= "3.21"}
15
+
"ocaml" {>= "5.1"}
16
+
"space-wire" {>= "0.1"}
17
+
"wire"
18
+
"space-packet" {>= "0.1"}
19
+
"eio" {>= "1.0"}
20
+
"eio_main" {>= "1.0"}
21
+
"cmdliner" {>= "1.2"}
22
+
"fmt" {>= "0.9"}
23
+
"logs" {>= "0.7"}
24
+
"vlog"
25
+
"alcotest" {with-test}
26
+
"odoc" {with-doc}
27
+
]
28
+
build: [
29
+
["dune" "subst"] {dev}
30
+
[
31
+
"dune"
32
+
"build"
33
+
"-p"
34
+
name
35
+
"-j"
36
+
jobs
37
+
"@install"
38
+
"@runtest" {with-test}
39
+
"@doc" {with-doc}
40
+
]
41
+
]
42
+
x-maintenance-intent: ["(latest)"]
43
+
44
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/space-net.git"
45
+
url {
46
+
src: "git+https://tangled.sh/@gazagnaire.org/space-net.git#main"
47
+
}
+1
packages/space-packet/space-packet.dev/opam
+1
packages/space-packet/space-packet.dev/opam
+39
packages/space-sim/space-sim.dev/opam
+39
packages/space-sim/space-sim.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS flight simulator for two-partition demo"
3
+
description:
4
+
"Minimal init process for the flight partition (P0). Sends TM frames via virtio-serial IPC to the SpaceOS partition. Used by 'space run' to demonstrate inter-partition communication."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"pid1"
12
+
"zephyr"
13
+
"space-wire"
14
+
"wire"
15
+
"eio" {>= "1.0"}
16
+
"eio_main" {>= "1.0"}
17
+
"fmt" {>= "0.9"}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
x-maintenance-intent: ["(latest)"]
35
+
36
+
dev-repo: "git+https://tangled.org/gazagnaire.org/space-sim"
37
+
url {
38
+
src: "git+https://tangled.org/gazagnaire.org/space-sim#main"
39
+
}
+36
packages/space-test/space-test.dev/opam
+36
packages/space-test/space-test.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS E2E test harness"
3
+
description:
4
+
"End-to-end test runner for the SpaceOS pipeline: build artifacts, boot VMs headless, verify IPC frames flow, and clean shutdown."
5
+
depends: [
6
+
"dune" {>= "3.21"}
7
+
"ocaml" {>= "5.2"}
8
+
"space" {>= "0.1"}
9
+
"eio" {>= "1.0"}
10
+
"eio_main" {>= "1.0"}
11
+
"cmdliner" {>= "1.2.0"}
12
+
"fmt"
13
+
"vlog" {>= "0.1.0"}
14
+
"crypto-rng-unix"
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
x-maintenance-intent: ["(latest)"]
32
+
33
+
dev-repo: "git+https://tangled.org/gazagnaire.org/space-test"
34
+
url {
35
+
src: "git+https://tangled.org/gazagnaire.org/space-test#main"
36
+
}
+38
packages/space-wire/space-wire.dev/opam
+38
packages/space-wire/space-wire.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS wire protocol codecs"
3
+
description:
4
+
"Wire codecs for the SpaceOS host-guest communication protocol. Fixed-size frames, shared memory layout, and storage block codecs for F Prime integration."
5
+
maintainer: ["Thomas Gazagnaire"]
6
+
authors: ["Thomas Gazagnaire"]
7
+
license: "MIT"
8
+
homepage: "https://tangled.org/gazagnaire.org/space-wire"
9
+
bug-reports: "https://tangled.org/gazagnaire.org/space-wire/issues"
10
+
depends: [
11
+
"dune" {>= "3.21"}
12
+
"ocaml" {>= "5.1"}
13
+
"wire"
14
+
"checkseum"
15
+
"alcotest" {with-test}
16
+
"crowbar" {with-test}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
x-maintenance-intent: ["(latest)"]
34
+
35
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/space-wire.git"
36
+
url {
37
+
src: "git+https://tangled.sh/@gazagnaire.org/space-wire.git#main"
38
+
}
+48
packages/space/space.dev/opam
+48
packages/space/space.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "SpaceOS CLI: build and boot SpaceOS VMs"
3
+
description:
4
+
"Top-level CLI for SpaceOS. Builds initramfs and disk images, launches QEMU VMs with virtio-blk backed SpaceOS storage, and generates SBOMs."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"space-block"
12
+
"space-wire"
13
+
"wire"
14
+
"qemu"
15
+
"initramfs"
16
+
"uniboot"
17
+
"jsont"
18
+
"yamlt"
19
+
"crypto-rng-unix"
20
+
"eio" {>= "1.0"}
21
+
"eio_main" {>= "1.0"}
22
+
"cmdliner" {>= "1.2.0"}
23
+
"fmt" {>= "0.9"}
24
+
"logs" {>= "0.7"}
25
+
"vlog" {>= "0.1.0"}
26
+
"alcotest" {with-test}
27
+
"odoc" {with-doc}
28
+
]
29
+
build: [
30
+
["dune" "subst"] {dev}
31
+
[
32
+
"dune"
33
+
"build"
34
+
"-p"
35
+
name
36
+
"-j"
37
+
jobs
38
+
"@install"
39
+
"@runtest" {with-test}
40
+
"@doc" {with-doc}
41
+
]
42
+
]
43
+
x-maintenance-intent: ["(latest)"]
44
+
45
+
dev-repo: "git+https://tangled.org/gazagnaire.org/space"
46
+
url {
47
+
src: "git+https://tangled.org/gazagnaire.org/space#main"
48
+
}
+2
-2
packages/standard-site/standard-site.dev/opam
+2
-2
packages/standard-site/standard-site.dev/opam
···
37
37
]
38
38
x-maintenance-intent: ["(latest)"]
39
39
40
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
40
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
41
41
url {
42
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
42
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
43
43
}
+2
-2
packages/tangled/tangled.dev/opam
+2
-2
packages/tangled/tangled.dev/opam
···
38
38
]
39
39
x-maintenance-intent: ["(latest)"]
40
40
41
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
41
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
42
42
url {
43
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
43
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
44
44
}
+2
-2
packages/tar-eio/tar-eio.dev/opam
+2
-2
packages/tar-eio/tar-eio.dev/opam
···
41
41
]
42
42
x-maintenance-intent: [ "(latest)" ]
43
43
44
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-tar"
44
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-tar.git"
45
45
url {
46
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-tar#main"
46
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-tar.git#main"
47
47
}
+2
-2
packages/tar/tar.dev/opam
+2
-2
packages/tar/tar.dev/opam
···
42
42
]
43
43
x-maintenance-intent: [ "(latest)" ]
44
44
45
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-tar"
45
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-tar.git"
46
46
url {
47
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-tar#main"
47
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-tar.git#main"
48
48
}
+1
packages/tc/tc.dev/opam
+1
packages/tc/tc.dev/opam
+2
packages/tm/tm.dev/opam
+2
packages/tm/tm.dev/opam
+2
-2
packages/tomlt/tomlt.dev/opam
+2
-2
packages/tomlt/tomlt.dev/opam
···
41
41
]
42
42
x-maintenance-intent: ["(latest)"]
43
43
44
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-tomlt"
44
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-tomlt.git"
45
45
url {
46
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-tomlt#main"
46
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-tomlt.git#main"
47
47
}
+4
-1
packages/uniboot/uniboot.dev/opam
+4
-1
packages/uniboot/uniboot.dev/opam
+1
packages/uslp/uslp.dev/opam
+1
packages/uslp/uslp.dev/opam
+38
packages/vz/vz.dev/opam
+38
packages/vz/vz.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Apple Virtualization.framework bindings for OCaml"
3
+
description:
4
+
"OCaml bindings for Apple Virtualization.framework (macOS 13+). Direct kernel boot via VZLinuxBootLoader, virtio-net/blk/serial devices, memory balloon, and Rosetta x86 translation. Zero external dependencies beyond macOS."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-vz"
9
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-vz/issues"
10
+
depends: [
11
+
"dune" {>= "3.21"}
12
+
"ocaml" {>= "5.1"}
13
+
"fmt" {>= "0.9.0"}
14
+
"logs" {>= "0.7.0"}
15
+
"alcotest" {with-test}
16
+
"crowbar" {with-test}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
x-maintenance-intent: ["(latest)"]
34
+
35
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-vz.git"
36
+
url {
37
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-vz.git#main"
38
+
}
+1
-1
packages/wal/wal.dev/opam
+1
-1
packages/wal/wal.dev/opam
+37
packages/wire/wire.dev/opam
+37
packages/wire/wire.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Binary wire format DSL with EverParse 3D output"
3
+
description:
4
+
"OCaml DSL for describing binary wire formats with EverParse 3D output. Define your wire format once, then use it for OCaml parsing via bytesrw or emit .3d files for verified C parser generation via EverParse."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-wire"
9
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-wire/issues"
10
+
depends: [
11
+
"dune" {>= "3.21"}
12
+
"ocaml" {>= "5.1"}
13
+
"bytesrw" {>= "0.1"}
14
+
"fmt" {>= "0.9"}
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
x-maintenance-intent: ["(latest)"]
33
+
34
+
dev-repo: "git+https://tangled.sh/@gazagnaire.org/ocaml-wire.git"
35
+
url {
36
+
src: "git+https://tangled.sh/@gazagnaire.org/ocaml-wire.git#main"
37
+
}
+2
-2
packages/xdge/xdge.dev/opam
+2
-2
packages/xdge/xdge.dev/opam
···
26
26
[ "dune" "build" "-p" name "-j" jobs "@doc" ] {with-doc}
27
27
]
28
28
29
-
dev-repo: "git+https://tangled.org/gazagnaire.org/xdge"
29
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/xdge.git"
30
30
url {
31
-
src: "git+https://tangled.org/gazagnaire.org/xdge#main"
31
+
src: "git+https://tangled.sh/@anil.recoil.org/xdge.git#main"
32
32
}
+2
-2
packages/xrpc-auth/xrpc-auth.dev/opam
+2
-2
packages/xrpc-auth/xrpc-auth.dev/opam
···
35
35
]
36
36
x-maintenance-intent: ["(latest)"]
37
37
38
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-atp"
38
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git"
39
39
url {
40
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-atp#main"
40
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-atp.git#main"
41
41
}
+2
-2
packages/yamlrw-eio/yamlrw-eio.dev/opam
+2
-2
packages/yamlrw-eio/yamlrw-eio.dev/opam
···
32
32
]
33
33
x-maintenance-intent: ["(latest)"]
34
34
35
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw"
35
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git"
36
36
url {
37
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw#main"
37
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git#main"
38
38
}
+2
-2
packages/yamlrw-unix/yamlrw-unix.dev/opam
+2
-2
packages/yamlrw-unix/yamlrw-unix.dev/opam
···
30
30
]
31
31
x-maintenance-intent: ["(latest)"]
32
32
33
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw"
33
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git"
34
34
url {
35
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw#main"
35
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git#main"
36
36
}
+2
-2
packages/yamlrw/yamlrw.dev/opam
+2
-2
packages/yamlrw/yamlrw.dev/opam
···
34
34
]
35
35
x-maintenance-intent: ["(latest)"]
36
36
37
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw"
37
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git"
38
38
url {
39
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-yamlrw#main"
39
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlrw.git#main"
40
40
}
+2
-2
packages/yamlt/yamlt.dev/opam
+2
-2
packages/yamlt/yamlt.dev/opam
···
31
31
]
32
32
x-maintenance-intent: ["(latest)"]
33
33
34
-
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-yamlt"
34
+
dev-repo: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlt.git"
35
35
url {
36
-
src: "git+https://tangled.org/gazagnaire.org/ocaml-yamlt#main"
36
+
src: "git+https://tangled.sh/@anil.recoil.org/ocaml-yamlt.git#main"
37
37
}
+34
packages/zephyr/zephyr.dev/opam
+34
packages/zephyr/zephyr.dev/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Virtio-serial port IO for guest VMs"
3
+
description:
4
+
"OCaml abstraction over virtio-serial character devices (/dev/virtio-ports/*). Provides frame-oriented read/write for inter-partition communication in hypervisor-based systems (Jailhouse, QEMU)."
5
+
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
6
+
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
+
license: "ISC"
8
+
depends: [
9
+
"dune" {>= "3.21"}
10
+
"ocaml" {>= "5.1"}
11
+
"fmt" {>= "0.9"}
12
+
"alcotest" {with-test}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
x-maintenance-intent: ["(latest)"]
30
+
31
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-zephyr"
32
+
url {
33
+
src: "git+https://tangled.org/gazagnaire.org/ocaml-zephyr#main"
34
+
}