package why3find
A Why3 Package Manager
Install
Dune Dependency
Authors
Maintainers
Sources
why3find-1.1.1.tar.gz
md5=1c67ccf5aecc83f64d70404eb85140b2
sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e
LICENSE.md.html
Copyright
Why3find is free software developed by CEA-LIST.
Copyright (C) 2022-2024 CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
Disclaimer
The software is provided “as is”, without any kind of warranty. CEA-LIST will not be liable for any type of claim, liability or damage.
License
This software is distributed under the terms of the GNU Lesser General Public License version 2.1.
See the enclosed file LGPLv2.1.
Credits
Icons and icon fonts provided from share directory are authored by IcoFont and distributed under the CC BY 4.0 license.