Package: apron / 0.9.10-6

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179
Packaged-By: Samuel Mimram <smimram@debian.org>
Packaged-Date: Wed Oct 21 19:11:16 CEST 2009
Upstream-Source: http://apron.cri.ensmp.fr/library/
Upstream-Maintainer: Bertand Jeannet <bertrand.jeannet@irisa.fr> and Antoine Miné <mine@di.ens.fr>

Files: apron/*
Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
License: LGPL-2.1+

  This library is free software; you can redistribute it and/or
  modify it under the terms of the GNU Lesser General Public
  License as published by the Free Software Foundation; either
  version 2.1 of the License, or (at your option) any later version.

  This library is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  Lesser General Public License for more details.

  The complete text of the GNU Lesser General Public License can be
  found in `/usr/share/common-licenses/LGPL-2.1'.

Files: apron/apron/*
Copyright: © 2005-2009 Bertrand Jeannet

Files: apron/apronxx/*
Copyright: © 2007-2009 Antoine Miné

Files: apron/apronxx/apronxx_test.cc,
       apron/apronxx/apxx_ppl.hh,
       apron/apronxx/apxx_ppl_inline.hh,
       apron/apronxx/apxx_ppl_product.hh,
       apron/apronxx/apxx_ppl_product_inline.hh
Copyright: © 2007-2009 Antoine Miné
License: GPL-2+

  This program is free software; you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation; either version 2 of the License, or
  (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  The complete text of the GNU General Public License can be
  found in `/usr/share/common-licenses/GPL-2'.

Files: apron/box/*
Copyright: © 2006-2009 Bertrand Jeannet

Files: apron/itv/*
Copyright: © 2006-2009 Bertrand Jeannet and Antoine Miné

Files: apron/mlapronidl/*
Copyright: © 2005-2009 Bertrand Jeannet

Files: apron/newpolka/*
Copyright: © 1999-2009 Bertrand Jeannet

Files: apron/octagons/*
Copyright: © 2006-2009 Antoine Miné

Files: apron/ppl/*
Copyright: © 2006-2009 Antoine Miné
License: GPL-2+

Files: apron/test/*
Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
License: GPL-2+

Files: mlgmpidl/*
Copyright: © 2005-2009 Bertrand Jeannet

Files: debian/*
Copyright: © 2009 Samuel Mimram <smimram@debian.org>
License: GPL-2+