summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@vyos.io>2026-08-10 19:10:00 +0100
committerGitHub <noreply@github.com>2026-08-10 19:10:00 +0100
commit08f31a84fd5cb14773a059c6851c4191728ce100 (patch)
treedc84a5b31904297701bcfb0859f6d21c94d2fea4
parent1eec1be8a08fa8a26622c7a0df6d0f0b6853afde (diff)
parentd530a13a42bb1f0fb8facb1828813939d3c0fa1a (diff)
downloadvyconf-rolling.tar.gz
vyconf-rolling.zip
Merge pull request #63 from jestabro/fix-protoc-versionrolling
T9168: pin version 3.1.1 of ocaml-protoc / pbrt
-rw-r--r--vyconf.opam6
1 files changed, 1 insertions, 5 deletions
diff --git a/vyconf.opam b/vyconf.opam
index 1b1958d..e7c089a 100644
--- a/vyconf.opam
+++ b/vyconf.opam
@@ -16,11 +16,7 @@ build: [
depends: [
"menhir" {build}
"dune" {build & >= "1.4.0"}
- # The committed src/*_pbt.ml were generated by ocaml-protoc 2.x. Version 3.0
- # emits private record types with presence tracking, which the hand-written
- # call sites cannot construct. Pin to 2.x until the generated code + call
- # sites are migrated to the 3.x API.
- "ocaml-protoc" {build & < "3.0"}
+ "ocaml-protoc" {build & = "3.1.1"}
"ounit2" {build}
"vyos1x-config" {build}
"lwt" {build & >= "4.1.0"}