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: - debian/patches/fix_non_native_architectures.patch Changes: ===================================== debian/patches/fix_non_native_architectures.patch ===================================== @@ -1,3 +1,7 @@ +Description: don't mention files which don't exist on non-native architectures +Author: Julien Puydt +Forwarded: https://github.com/OCamlPro/alt-ergo/issues/509 + --- alt-ergo.orig/src/plugins/AB-Why3/dune +++ alt-ergo/src/plugins/AB-Why3/dune @@ -21,6 +21,5 @@ View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6 -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6 You're receiving this email because of your account on salsa.debian.org.
