[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/frama-c][experimental/master] 2 commits: remove mention of plugins ergo, coqwp from debian/copyright

Title: GitLab

Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / frama-c

Commits:

  • d6acf08f
    by Ralf Treinen at 2022-06-18T19:12:41+02:00 
    remove mention of plugins ergo, coqwp from debian/copyright
  • a262866b
    by Ralf Treinen at 2022-06-18T19:40:28+02:00 
    standards-version 4.6.1

3 changed files:

Changes:

  • debian/changelog
    ... ... @@ -3,8 +3,13 @@ frama-c (20220511-manganese-1) UNRELEASED; urgency=medium
    3 3 
       * New upstream version. This version is compatible with why3 version
    4 4 
         1.5.0 (closes: #1011892,#1010867).
    5 5 
       * Add build-dependency on libppx-import-ocaml-dev
    6 
    +  * debian/copyright: drop mention of plugins that are no longer
    7 
    +    included in the upstream distribution:
    8 
    +    - coqwp
    9 
    +    - ergo
    10 
    +  * Standards-Version 4.6.1 (no change)
    6 11
    7 
    - -- Ralf Treinen <treinen@debian.org>  Sat, 18 Jun 2022 09:44:48 +0200
    12 
    + -- Ralf Treinen <treinen@debian.org>  Sat, 18 Jun 2022 19:39:11 +0200
    8 13
    9 14 
     frama-c (20211203-chromium-1) unstable; urgency=medium
    10 15

  • debian/control
    ... ... @@ -19,7 +19,7 @@ Build-Depends:
    19 19 
      liblablgtk3-ocaml-dev (>= 3.0~beta4),
    20 20 
      liblablgtksourceview3-ocaml-dev,
    21 21 
      libppx-import-ocaml-dev
    22 
    -Standards-Version: 4.6.0
    22 
    +Standards-Version: 4.6.1
    23 23 
     Rules-Requires-Root: no
    24 24 
     Homepage: https://frama-c.com
    25 25 
     Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c

  • debian/copyright
    ... ... @@ -22,35 +22,6 @@ License: MIT-like
    22 22 
       This configure script is free software; the Free Software Foundation
    23 23 
       gives unlimited permission to copy, distribute and modify it.
    24 24
    25 
    -Files: src/plugins/wp/share/coqwp/BuiltIn.v
    26 
    - src/plugins/wp/share/coqwp/bool/Bool.v
    27 
    - src/plugins/wp/share/coqwp/int/Abs.v
    28 
    - src/plugins/wp/share/coqwp/int/ComputerDivision.v
    29 
    - src/plugins/wp/share/coqwp/int/Int.v
    30 
    - src/plugins/wp/share/coqwp/int/MinMax.v
    31 
    - src/plugins/wp/share/coqwp/map/Map.v
    32 
    - src/plugins/wp/share/coqwp/real/Abs.v
    33 
    - src/plugins/wp/share/coqwp/real/FromInt.v
    34 
    - src/plugins/wp/share/coqwp/real/MinMax.v
    35 
    - src/plugins/wp/share/coqwp/real/Real.v
    36 
    - src/plugins/wp/share/coqwp/real/RealInfix.v
    37 
    - src/plugins/wp/share/coqwp/real/Square.v
    38 
    - src/plugins/wp/share/ergo/bool.Bool.mlw
    39 
    - src/plugins/wp/share/ergo/int.Abs.mlw
    40 
    - src/plugins/wp/share/ergo/int.ComputerDivision.mlw
    41 
    - src/plugins/wp/share/ergo/int.Int.mlw
    42 
    - src/plugins/wp/share/ergo/int.MinMax.mlw
    43 
    - src/plugins/wp/share/ergo/map.Map.mlw
    44 
    - src/plugins/wp/share/ergo/real.Abs.mlw
    45 
    - src/plugins/wp/share/ergo/real.FromInt.mlw
    46 
    - src/plugins/wp/share/ergo/real.MinMax.mlw
    47 
    - src/plugins/wp/share/ergo/real.Real.mlw
    48 
    - src/plugins/wp/share/ergo/real.RealInfix.mlw
    49 
    - src/plugins/wp/share/ergo/real.Square.mlw
    50 
    -Copyright: © 2010-2013	INRIA - CNRS - Paris-Sud University
    51 
    -License: LGPL-2.1
    52 
    - See `/usr/share/common-licenses/LGPL-2.1'.
    53 
    -
    54 25 
     Files: src/kernel_internals/parsing/clexer.mli
    55 26 
      src/kernel_internals/parsing/clexer.mll
    56 27 
      src/kernel_internals/parsing/cparser.mly

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.

    Reply to: