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 (3)

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.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

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.