package why3find
A Why3 Package Manager
Install
Dune Dependency
Authors
Maintainers
Sources
why3find-1.0.tar.gz
md5=6db70cd5ee884a1014ed6243a3e83df9
sha512=329e0aac4a0e5f7fcd96c5bec90938e643f7ebab81e38ff1e877b85761139706d75395a2f20e1911136d63ec1d23853a3efec8c5d87dc94102748845cf722a9d
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.