package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (2)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.2.0.tbz
md5=9ce13cca7ffe4bdb006f87293b36343f
sha512=eb43bba6ff4ba6d29c4a2122a789c55b8a980b11e3fdca97d026099d6fbd8d942ce0fcedddc0c525b8cda733887f6a45ee4db253e862454da5b5ff2a1a139974

doc/LICENSE.html

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.