jon.recoil.org
A repository of opam repositories, for use by oi
oi repo bump avsm
author
Anil Madhavapeddy
date
(May 6, 2026, 7:36 AM +0100)
commit
2c6cd052
2c6cd05294b24f02655fe627c05152ba1af544f6
parent
1192d310
1192d310b844e14ebd592c772e1c6783ec24eab1
+15
-3
+1
-1
v1/avsm/packages/d10/d10.dev/opam
+1
-1
v1/avsm/packages/d10/d10.dev/opam
···
36
36
dev-repo: "git+https://github.com/avsm/oi"
37
37
url {
38
38
src:
39
-
"git+https://github.com/avsm/oi#90f247b98c657779f246beded3fa91fac491e979"
39
+
"git+https://github.com/avsm/oi#dd1bd850a5cfab7da033494d6ddb578832855641"
40
40
}
41
41
x-maintenance-intent: ["(latest)"]
42
42
x-oi-source-url: "git+https://github.com/avsm/oi#main"
+2
-1
v1/avsm/packages/oi/oi.dev/opam
+2
-1
v1/avsm/packages/oi/oi.dev/opam
···
27
27
"sqlite3"
28
28
"parsexp"
29
29
"sexplib0"
30
+
"progress"
30
31
"dockerfile" {>= "8.3.0"}
31
32
"dockerfile-opam" {>= "8.3.0"}
32
33
"odoc" {with-doc}
···
48
49
dev-repo: "git+https://github.com/avsm/oi"
49
50
url {
50
51
src:
51
-
"git+https://github.com/avsm/oi#90f247b98c657779f246beded3fa91fac491e979"
52
+
"git+https://github.com/avsm/oi#dd1bd850a5cfab7da033494d6ddb578832855641"
52
53
}
53
54
x-ai-disclosure: "ai-assisted"
54
55
x-ai-model: "claude-opus-4-6"
+1
-1
v1/avsm/packages/osrel/osrel.dev/opam
+1
-1
v1/avsm/packages/osrel/osrel.dev/opam
···
28
28
dev-repo: "git+https://github.com/avsm/oi"
29
29
url {
30
30
src:
31
-
"git+https://github.com/avsm/oi#90f247b98c657779f246beded3fa91fac491e979"
31
+
"git+https://github.com/avsm/oi#dd1bd850a5cfab7da033494d6ddb578832855641"
32
32
}
33
33
x-maintenance-intent: ["(latest)"]
34
34
x-oi-source-url: "git+https://github.com/avsm/oi#main"
+11
v1/reporepo/packages/avsm/avsm.20260506.0/opam
+11
v1/reporepo/packages/avsm/avsm.20260506.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Overlay: avsm — pinned opam repository"
3
+
url {
4
+
src: "https://git.recoil.org/anil.recoil.org/opam-overlay#9d26cc0dce1f8a634cd3b6e1f143f69a312eff29"
5
+
}
6
+
depends: [
7
+
"relocatable" { = "20260421.0" }
8
+
"default" { = "20260505.0" }
9
+
]
10
+
x-oi-overlay: true
11
+
x-oi-toolchain: "ocaml-5.4"