Skip to content

Commit ee1323c

Browse files
authored
Merge pull request ocaml#23433 from MSoegtropIMC/gappa.1.4.1
Added new version 1.4.1 for 'gappa'
2 parents 01f4528 + 31bac86 commit ee1323c

File tree

3 files changed

+1030
-1
lines changed

3 files changed

+1030
-1
lines changed

packages/gappa/gappa.1.4.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ authors: "Guillaume Melquiond"
44
bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"
55
homepage: "https://gitlab.inria.fr/gappa/gappa"
66
dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"
7-
license: "CeCILL"
7+
license: "CECILL-2.1"
88
patches: [
99
"0001-Added-configure-for-c-11.patch"
1010
]

0 commit comments

Comments
 (0)