Fix synopsis

formalsec · Feb 11, 2025 · 8393d76 · 8393d76
1 parent 67ef314
commit 8393d76
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -28,8 +28,13 @@
 
 (package
  (name smtml)
- (synopsis "An SMT solver frontend for OCaml.")
- (description "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability.")
+ (synopsis "An SMT solver frontend for OCaml")
+ (description "Smt.ml is an SMT solver frontend for OCaml that simplifies \
+              integration with various solvers through a consistent interface. \
+              Its parametric encoding facilitates the easy addition of new \
+              solver backends, while optimisations like formula simplification, \
+              result caching, and detailed error feedback enhance performance \
+              and usability.")
  ; Optional solver dependencies
  ; Change here sould be mirrored in "conflicts"
  (depopts

diff --git a/smtml.opam b/smtml.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "An SMT solver frontend for OCaml."
+synopsis: "An SMT solver frontend for OCaml"
 description:
   "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."
 maintainer: ["Filipe Marques <[email protected]>"]