search

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
BSD 2-Clause "Simplified" License
80 stars 17 forks source link

Warning regarding the `dolmen_type` file #197

Closed Halbaroth closed 1 year ago

Halbaroth commented 1 year ago

I got this warning while I install the current master branch with opam:

[WARNING] Failed checks on dolmen_type package definition from source at git+https://github.com/Gbury/dolmen.git#baaf1f92ccd473294679dd9025c3ae9a441a82fa:
  warning 47: Synopsis should start with a capital and not end with a dot

Indeed, the synopsis field of the file dolmen_type.opam ends with a dot.

Gbury commented 1 year ago

oh interesting, guess opam added new checks on Synopsis. I'll fix that soon.

Gbury commented 1 year ago

Fixed in 55fdf074cd29aa1516c81dfd0c6217ce729d4b29