Update released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam

Co-authored-by: Karl Palmskog <[email protected]>

Author: 1DGW

released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam

@@ -28,7 +28,7 @@ authors: [
   "Si Chen"
   "Ce Zhang"
 ]
-license: "LGPL-2.1"
+license: "LGPL-2.1-only"
 
 depends: [
   "coq" {>= "8.20"}