Skip to content
Snippets Groups Projects
Commit 593e348f authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

update license, silence opam warning

parent 4daaaa25
No related branches found
No related tags found
1 merge request!217Added refinements
Pipeline #68041 passed
BSD 2-Clause License
Copyright (c) 2014–2020, The Prosa Project & Contributors
Copyright (c) 2014–2022, The Prosa Project & Contributors
All rights reserved.
Redistribution and use in source and binary forms, with or without
......
......@@ -5,7 +5,7 @@ maintainer: "Pierre Roux <pierre.roux@onera.fr>"
homepage: "https://prosa.mpi-sws.org/"
dev-repo: "git+https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs.git"
bug-reports: "https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/issues"
license: "BSD"
license: "BSD-2-Clause"
build: [
["./create_makefile.sh"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment