From d193df327dcaa6862e629fb0e9d42bdc4fef878e Mon Sep 17 00:00:00 2001
From: Thomas Portet <thoportet@gmail.com>
Date: Mon, 17 Mar 2025 18:40:08 +0100
Subject: [PATCH] adding dependencies for interactive demo

---
 trajectories.opam | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/trajectories.opam b/trajectories.opam
index 5a630c7..75ca0a7 100644
--- a/trajectories.opam
+++ b/trajectories.opam
@@ -18,6 +18,8 @@ depends: [
   "coq-mathcomp-field" { (= "2.3.0")}
   "coq-mathcomp-real-closed" { (= "2.0.0")}
   "coq-mathcomp-algebra-tactics" { (= "1.2.0")}
+  "js_of_ocaml" { (= "6.0.1")}
+  "js_of_ocaml-ppx" { (= "6.0.1")}
 ]
 
 tags: [