From 13ed942e1f29577a155991c7c313aad38637615a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Oct 2022 15:34:51 +0200
Subject: Update aeneas.opam

---
 compiler/aeneas.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/aeneas.opam b/compiler/aeneas.opam
index 4048f9a0..571b2d33 100644
--- a/compiler/aeneas.opam
+++ b/compiler/aeneas.opam
@@ -1,8 +1,8 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: ""
-description: ""
+synopsis:
+  "Manipulation of Low-level Borrow Calculus, a MIR-like representation for Rust Code"
 maintainer: ["son.ho@inria.fr"]
 authors: ["Son Ho" "Jonathan Protzenko" "Aymeric Fromherz" "Sidney Congard"]
 license: "Apache-2.0"
-- 
cgit v1.2.3