Disable gappa.1.3.5 for 32 bit intel platforms

MSoegtropIMC · mseri · web-flow · commit e31bacda46d1 · 2025-04-11T09:27:28.000+02:00
Co-authored-by: Marcello Seri &lt;mseri@users.noreply.github.com&gt;
diff --git a/packages/gappa/gappa.1.3.5/opam b/packages/gappa/gappa.1.3.5/opam
@@ -38,6 +38,7 @@ depends: [
   "conf-bison" {build}
   "conf-flex" {build}
 ]
+available: arch != "x86_32"
 synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
 url {
   src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,7 @@ depends: [`
`38`	`38`	`"conf-bison" {build}`
`39`	`39`	`"conf-flex" {build}`
`40`	`40`	`]`
	`41`	`+available: arch != "x86_32"`
`41`	`42`	`synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"`
`42`	`43`	`url {`
`43`	`44`	`src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"`