Skip to content
Snippets Groups Projects
Commit b5dde3b9 authored by François Bobot's avatar François Bobot
Browse files

Fix license information

parent 7dca5615
No related branches found
No related tags found
1 merge request!24Release helpers
Pipeline #46211 failed
Stage: test
Hide whitespace changes
Inline Side-by-side
colibri2.opam
+ 1
− 1
View file @ b5dde3b9
...@@ -9,7 +9,7 @@ authors: [ ...@@ -9,7 +9,7 @@ authors: [
"Guillaume Bury" "Guillaume Bury"
"Stéphane Graham-Lengrand" "Stéphane Graham-Lengrand"
] ]
license: "LGPL-3.0-only" license: "LGPL-2.1"
homepage: "https://colibri.frama-c.com" homepage: "https://colibri.frama-c.com"
bug-reports: "https://git.frama-c.com/pub/colibrics/issues" bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
depends: [ depends: [
......
colibrics.opam
+ 1
− 0
View file @ b5dde3b9
...@@ -4,6 +4,7 @@ synopsis: "A CP solver proved in Why3" ...@@ -4,6 +4,7 @@ synopsis: "A CP solver proved in Why3"
description: "The core of Colibrics is formally proved using Why3." description: "The core of Colibrics is formally proved using Why3."
maintainer: ["François Bobot"] maintainer: ["François Bobot"]
authors: ["François Bobot"] authors: ["François Bobot"]
license: "LGPL-2.1"
homepage: "https://colibri.frama-c.com" homepage: "https://colibri.frama-c.com"
bug-reports: "https://git.frama-c.com/pub/colibrics/issues" bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
depends: [ depends: [
......
colibrilib.opam
+ 1
− 0
View file @ b5dde3b9
...@@ -4,6 +4,7 @@ synopsis: "A library of domains and propagators proved in Why3" ...@@ -4,6 +4,7 @@ synopsis: "A library of domains and propagators proved in Why3"
description: "Interval, and union of interval domains defined formally" description: "Interval, and union of interval domains defined formally"
maintainer: ["François Bobot"] maintainer: ["François Bobot"]
authors: ["François Bobot"] authors: ["François Bobot"]
license: "LGPL-2.1"
homepage: "https://colibri.frama-c.com" homepage: "https://colibri.frama-c.com"
bug-reports: "https://git.frama-c.com/pub/colibrics/issues" bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
depends: [ depends: [
......
dune-project
+ 1
− 1
View file @ b5dde3b9
...@@ -8,6 +8,7 @@ ...@@ -8,6 +8,7 @@
(source (uri "git+https://git.frama-c.com/pub/colibrics.git")) (source (uri "git+https://git.frama-c.com/pub/colibrics.git"))
(homepage "https://colibri.frama-c.com") (homepage "https://colibri.frama-c.com")
(bug_reports "https://git.frama-c.com/pub/colibrics/issues") (bug_reports "https://git.frama-c.com/pub/colibrics/issues")
(license "LGPL-2.1")
(name colibri2) (name colibri2)
(package (package
...@@ -50,7 +51,6 @@ ...@@ -50,7 +51,6 @@
(package (name colibri2) (package (name colibri2)
(authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand") (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand")
(maintainers "François Bobot") (maintainers "François Bobot")
(license LGPL-3.0-only)
(synopsis "A CP solver for smtlib") (synopsis "A CP solver for smtlib")
(description "A reimplementation of COLIBRI in OCaml") (description "A reimplementation of COLIBRI in OCaml")
(depends (depends
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment