package why3find
A Why3 Package Manager
Install
dune-project
Dependency
Authors
Maintainers
Sources
why3find-1.2.0.tbz
md5=9ce13cca7ffe4bdb006f87293b36343f
sha512=eb43bba6ff4ba6d29c4a2122a789c55b8a980b11e3fdca97d026099d6fbd8d942ce0fcedddc0c525b8cda733887f6a45ee4db253e862454da5b5ff2a1a139974
doc/LICENSE.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.