Update packages/gappa/gappa.1.4.1/opam

mseri · web-flow · commit 31bac86ef503 · 2023-03-22T15:45:28.000+01:00
diff --git a/packages/gappa/gappa.1.4.1/opam b/packages/gappa/gappa.1.4.1/opam
@@ -39,6 +39,7 @@ depends: [
   "conf-flex" {build}
 ]
 synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
+available: os-family != "alpine"
 url {
   src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz"
   checksum: "sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2"

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ depends: [`
`39`	`39`	`"conf-flex" {build}`
`40`	`40`	`]`
`41`	`41`	`synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"`
	`42`	`+available: os-family != "alpine"`
`42`	`43`	`url {`
`43`	`44`	`src: "https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.1.tar.gz"`
`44`	`45`	`checksum: "sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2"`