diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
index e80708f..3711819 100644
--- 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: ["ricardo.almeida@ed.ac.uk"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
diff --git a/dune-project b/dune-project
index 6297932..95722bd 100644
--- 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))