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

[Git][ocaml-team/alt-ergo][master] Document the conditional patch for non-native architectures

Title: GitLab

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

Commits:

  • 6fcbe2a0
    by Julien Puydt at 2022-07-04T09:35:11+02:00 
    Document the conditional patch for non-native architectures

1 changed file:

Changes:

  • 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 
    +
    1 5 
     --- alt-ergo.orig/src/plugins/AB-Why3/dune
    2 6 
     +++ alt-ergo/src/plugins/AB-Why3/dune
    3 7 
     @@ -21,6 +21,5 @@

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