File: LICENSE.md

package info (click to toggle)
alt-ergo 2.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 2,096 kB
  • sloc: ml: 28,606; makefile: 15; sh: 12
file content (34 lines) | stat: -rw-r--r-- 1,263 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
## Copyright

These software are distributed in the hope that they will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Please, do not use enclosed software until you have read and accepted
the terms of the licensing below. The use of these software implies
that you automatically agree with our terms and conditions. In case of
doubt, please contact us to clarify licensing.

The resources are licensed as follows:

### OCaml source files and Alt-Ergo preludes

Some of these files are Copyright (C) 2006-2013 --- CNRS - INRIA -
Universite Paris Sud, and Copyright (C) 2013-2017 --- OCamlPro SAS.
They are distributed under the terms of the Apache Software License
version 2.0.

The other files are Copyright (C) --- OCamlPro SAS. They are
distributed under the terms of the license indicated in the file
'License.OCamlPro'.

You may want to refer to the header of each file to know under which
license it is distributed.


### Binaries generated from the source files

The binaries (tools, plugins, ...) that are generated from the OCaml
source files are Copyright (C) --- OCamlPro SAS. They are distributed
under the terms of the license indicated in the file
'License.OCamlPro'.