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: - debian/changelog - + debian/patches/fix_non_native_architectures.patch Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +alt-ergo (2.4.2-2) unstable; urgency=medium + + * Team upload. + * Re-enable the patch for non-native architectures. + + -- Julien Puydt <[email protected]> Sat, 06 Aug 2022 23:04:05 +0200 + alt-ergo (2.4.2-1) unstable; urgency=medium * Team upload. ===================================== debian/patches/fix_non_native_architectures.patch ===================================== @@ -0,0 +1,22 @@ +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 @@ + (section share) + (files + (ABWhy3Plugin.cma as plugins/AB-Why3-plugin.cma) +- (ABWhy3Plugin.cmxs as plugins/AB-Why3-plugin.cmxs) + ) + ) +--- alt-ergo.orig/src/plugins/fm-simplex/dune ++++ alt-ergo/src/plugins/fm-simplex/dune +@@ -14,6 +14,5 @@ + (section share) + (files + (FmSimplexPlugin.cma as plugins/fm-simplex-plugin.cma) +- (FmSimplexPlugin.cmxs as plugins/fm-simplex-plugin.cmxs) + ) + ) View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/b581dfd7ab9167e93e075a77894a251748c93f46...c2471523bed8cc56bd1de04aaf65014a237b3393 -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/b581dfd7ab9167e93e075a77894a251748c93f46...c2471523bed8cc56bd1de04aaf65014a237b3393 You're receiving this email because of your account on salsa.debian.org.
