Update packages/satex/satex.0.1.1/opam

Author: mseri

packages/satex/satex.0.1.1/opam

@@ -5,7 +5,7 @@ description:
   "Satex takes descriptions of string diagrams in the form of categorical compositions and converts them to string diagrams drawn in TikZ."
 maintainer: ["Samuel Mimram <[email protected]>"]
 authors: ["Samuel Mimram <[email protected]>"]
-license: "GPL-3.0"
+license: "GPL-3.0-or-later"
 homepage: "https://github.com/smimram/satex"
 bug-reports: "https://github.com/smimram/satex/issues"
 depends: [