Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
24c3ee14
Commit
24c3ee14
authored
Jul 12, 2021
by
erwan
Browse files
ci: adhere to the SPDX standard for licence
parent
505017f1
Changes
5
Hide whitespace changes
Inline
Side-by-side
bddrand.opam
View file @
24c3ee14
...
...
@@ -2,7 +2,7 @@ opam-version: "2.0"
synopsis: "A simple front-end to the lutin Random toss machinary"
description: "A simple front-end to the lutin Random toss machinary"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
license: "C
e
CILL"
license: "C
E
CILL
-2.1
"
authors: [
"Erwan Jahier" "Pascal Raymond"
]
...
...
ezdl.opam
View file @
24c3ee14
...
...
@@ -5,7 +5,7 @@ maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: [
"Pascal Raymond"
]
license: "C
e
CILL"
license: "C
E
CILL
-2.1
"
tags: ["clib:stdc" "clib:camlidl"]
homepage: "http://www-verimag.imag.fr/"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
...
...
gbddml.opam
View file @
24c3ee14
...
...
@@ -3,7 +3,7 @@ synopsis: "The Verimag bdd library"
description: "A BDD library in C + an ocaml wrapper"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Pascal Raymond"
license: "C
e
CILL"
license: "C
E
CILL
-2.1
"
homepage: "http://www-verimag.imag.fr/"
bug-reports:
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
...
...
lutin.opam
View file @
24c3ee14
...
...
@@ -9,7 +9,7 @@ maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: [
"Erwan Jahier" "Pascal Raymond" "Yvan Roux"
]
license: "C
e
CILL-2.1"
license: "C
E
CILL-2.1"
tags: ["clib:stdc" "clib:camlidl"]
homepage: "http://www-verimag.imag.fr/Lutin.html"
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
...
...
polka.opam
View file @
24c3ee14
...
...
@@ -4,7 +4,7 @@ maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: [
"Bertrand Jeannnet"
]
license: "LGPL
license
"
license: "LGPL
-2.1-or-later
"
tags: ["clib:stdc" "clib:camlidl"]
homepage: "http://www-verimag.imag.fr/Lutin.html"
bug-reports: "http://www-verimag.imag.fr/Lutin.html"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment