Updated project description

rems-project · Jul 11, 2023 · a031e27 · a031e27
1 parent 33f81ed
commit a031e27
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -1,10 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "My first Dune package!"
-description: """
-This is my first attempt at creating
-a project with Dune.
-"""
+synopsis: "Coq interface for CHERI capabilities"
+description: "An abstract interface for CHERI capabilities and a concrete one for the Morello architecture"
 maintainer: ["[email protected]"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"

diff --git a/dune-project b/dune-project
@@ -12,9 +12,9 @@
 
 (package
  (name coq-cheri-capabilities)
- (synopsis "My first Dune package!")
- (description "\| This is my first attempt at creating
-              "\| a project with Dune.
+ (synopsis "Coq interface for CHERI capabilities")
+ (description "\| An abstract interface for CHERI capabilities 
+              "\| and a concrete one for the Morello architecture.
  )
  (depends 
  	(coq (< 8.17.0))