summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-10-28 15:34:51 +0200
committerSon HO2022-10-28 17:41:04 +0200
commit13ed942e1f29577a155991c7c313aad38637615a (patch)
treed29719cfeda1329499b89ec3f453112fa76a701e
parenta261d407443faa4a95ee8f2b0fbf5e8e046d17ca (diff)
Update aeneas.opam
Diffstat (limited to '')
-rw-r--r--compiler/aeneas.opam4
1 files 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"