diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/aeneas.opam | 4 |
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" |