mark pcre2.8.0.2 unavailable (b/c it's got that bug)

chetmurthy · chetmurthy · commit 5b0f056a1581 · 2025-02-15T15:17:16.000-08:00
diff --git a/packages/pcre2/pcre2.8.0.2/opam b/packages/pcre2/pcre2.8.0.2/opam
@@ -40,3 +40,5 @@ url {
     "sha512=be2aac1f5709177c8b26ba340570f65fe7d47c258ef1adc33424f406a684ba7c858e1bf4b4b405a4ca6cac0f802eb2451cadb04bba1815ab89b431e5939bbef1"
   ]
 }
+# removing this package-version, b/c there was a bug that interacted badly with `pcre`
+available: false

Original file line number	Diff line number	Diff line change
`@@ -40,3 +40,5 @@ url {`
`40`	`40`	`"sha512=be2aac1f5709177c8b26ba340570f65fe7d47c258ef1adc33424f406a684ba7c858e1bf4b4b405a4ca6cac0f802eb2451cadb04bba1815ab89b431e5939bbef1"`
`41`	`41`	`]`
`42`	`42`	`}`
	`43`	+# removing this package-version, b/c there was a bug that interacted badly with `pcre`
	`44`	`+available: false`