From 06ad8a22b707ef52e785e65fba3f5250c9bb9e66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Sat, 25 Dec 2021 09:42:01 +0100
Subject: [PATCH] Synchronize the packages.
---
feat-num.opam | 2 +-
feat.opam | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/feat-num.opam b/feat-num.opam
index 6e0c527..15316c1 100644
--- a/feat-num.opam
+++ b/feat-num.opam
@@ -13,7 +13,7 @@ build: [
depends: [
"ocaml" { >= "4.03" }
"dune" { >= "1.4" }
- "feat-core"
+ "feat-core" { = version }
"num"
]
synopsis: "Facilities for enumerating and sampling algebraic data types, using Num for big numbers"
diff --git a/feat.opam b/feat.opam
index fc3ff2e..3d020f2 100644
--- a/feat.opam
+++ b/feat.opam
@@ -13,7 +13,7 @@ build: [
depends: [
"ocaml" { >= "4.03" }
"dune" { >= "1.4" }
- "feat-core"
+ "feat-core" { = version }
"zarith"
]
synopsis: "Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers"
--
GitLab