From f4ab9780622dd14b66f9acbb764b782aec7b8317 Mon Sep 17 00:00:00 2001
From: Augustin Manecy <augustin.manecy@onera.fr>
Date: Tue, 9 Nov 2021 13:29:18 +0100
Subject: [PATCH] try to fix catkin_lint error: 'unknown boost'

---
 deps.repos | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 deps.repos

diff --git a/deps.repos b/deps.repos
new file mode 100644
index 0000000..a6ea786
--- /dev/null
+++ b/deps.repos
@@ -0,0 +1,3 @@
+apt:
+  - libboost-dev
+