Fix extra dot

This commit is contained in:
Denis Merigoux 2023-06-12 14:30:49 +02:00
parent b975e7c149
commit 603bd99c1d
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3

View File

@ -1,6 +1,6 @@
opam-version: "2.0"
version: "0.8.0"
synopsis: "Linter that queries the LégiFrance API to check for correctness and expiration of Catala programs."
synopsis: "Linter that queries the LégiFrance API to check for correctness and expiration of Catala programs"
maintainer: ["contact@catala-lang.org"]
authors: ["Denis Merigoux"]
license: "Apache-2.0"