aboutsummaryrefslogtreecommitdiffstats
path: root/rnt.opam
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:18:27 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:18:27 -0300
commitfd4e46653d94807a52d5506a172791f1ec1ec891 (patch)
tree5ff26f357ba4c78b986c04d5b4a2e34442a7e683 /rnt.opam
parent209383a11bbf749dcc830fac8e0938bca0b58191 (diff)
downloadRNT-fd4e46653d94807a52d5506a172791f1ec1ec891.tar.gz
RNT-fd4e46653d94807a52d5506a172791f1ec1ec891.zip
architecture diagram on CI
Diffstat (limited to 'rnt.opam')
-rw-r--r--rnt.opam1
1 files changed, 0 insertions, 1 deletions
diff --git a/rnt.opam b/rnt.opam
index e800c05..97cdf3b 100644
--- a/rnt.opam
+++ b/rnt.opam
@@ -14,7 +14,6 @@ depends: [
"batteries"
"digestif"
"alcotest" {with-test}
- "qcheck-alcotest" {with-test}
"ocaml-lsp-server" {with-dev-setup}
"odoc" {with-doc}
]