diff options
| author | Son Ho | 2022-10-28 15:34:51 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-28 17:41:04 +0200 |
| commit | 13ed942e1f29577a155991c7c313aad38637615a (patch) | |
| tree | d29719cfeda1329499b89ec3f453112fa76a701e | |
| parent | a261d407443faa4a95ee8f2b0fbf5e8e046d17ca (diff) | |
Update aeneas.opam
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" |