Fix license and regenerate .opam

OCADml · Oct 18, 2022 · 8c455bd · 8c455bd
1 parent dd7ee21
commit 8c455bd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/OSCADml.opam b/OSCADml.opam
@@ -8,13 +8,13 @@ authors: [
   "Geoff deRosenroll<geoffderosenroll@gmail.com"
   "Masaki Nakano<namachan10777@gmail.com>"
 ]
-license: "BSL-1.0"
+license: "GPL-2.0-or-later"
 homepage: "https://github.com/OCADml/OSCADml"
 doc: "https://ocadml.github.io/OSCADml"
 bug-reports: "https://github.com/OCADml/OSCADml/issues"
 depends: [
   "dune" {>= "3.3"}
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.13.0"}
   "cairo2" {>= "0.6.2"}
   "OCADml" {<= "0.1.0"}
   "odoc" {with-doc}

diff --git a/dune-project b/dune-project
@@ -13,7 +13,7 @@
 
 (documentation https://ocadml.github.io/OSCADml)
 
-(license BSL-1.0)
+(license GPL-2.0-or-later)
 
 (authors
  "Geoff deRosenroll<geoffderosenroll@gmail.com"