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

[Git][ocaml-team/alt-ergo][master] 2 commits: Re-enable the patch for non-native architectures

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo

Commits:

  • 31d5eb14
    by Julien Puydt at 2022-08-06T23:04:03+02:00 
    Re-enable the patch for non-native architectures
  • c2471523
    by Julien Puydt at 2022-08-06T23:04:19+02:00 
    Prepare for upload

2 changed files:

Changes:

  • debian/changelog
    1 
    +alt-ergo (2.4.2-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Team upload.
    4 
    +  * Re-enable the patch for non-native architectures.
    5 
    +
    6 
    + -- Julien Puydt <jpuydt@debian.org>  Sat, 06 Aug 2022 23:04:05 +0200
    7 
    +
    1 8 
     alt-ergo (2.4.2-1) unstable; urgency=medium
    2 9
    3 10 
       * Team upload.

  • debian/patches/fix_non_native_architectures.patch
    1 
    +Description: don't mention files which don't exist on non-native architectures
    2 
    +Author: Julien Puydt
    3 
    +Forwarded: https://github.com/OCamlPro/alt-ergo/issues/509
    4 
    +
    5 
    +--- alt-ergo.orig/src/plugins/AB-Why3/dune
    6 
    ++++ alt-ergo/src/plugins/AB-Why3/dune
    7 
    +@@ -21,6 +21,5 @@
    8 
    +   (section share)
    9 
    +   (files
    10 
    +     (ABWhy3Plugin.cma as plugins/AB-Why3-plugin.cma)
    11 
    +-    (ABWhy3Plugin.cmxs as plugins/AB-Why3-plugin.cmxs)
    12 
    +   )
    13 
    + )
    14 
    +--- alt-ergo.orig/src/plugins/fm-simplex/dune
    15 
    ++++ alt-ergo/src/plugins/fm-simplex/dune
    16 
    +@@ -14,6 +14,5 @@
    17 
    +   (section share)
    18 
    +   (files
    19 
    +     (FmSimplexPlugin.cma as plugins/fm-simplex-plugin.cma)
    20 
    +-    (FmSimplexPlugin.cmxs as plugins/fm-simplex-plugin.cmxs)
    21 
    +   )
    22 
    + )

    • —
    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: