From 8e89443b28f0841ad2a16df245a17a1c308f741d Mon Sep 17 00:00:00 2001
From: Markus Mottl <markus.mottl@gmail.com>
Date: Mon, 25 Nov 2024 00:27:35 -0500
Subject: [PATCH 1/2] [new release] gsl (1.25.1)

CHANGES:

- Reformatted OCaml and Dune files with `ocamlformat`.

- Reformatted C files with `clang-format`.

- Reformatted and improved Markdown files.

- Added GitHub workflow.

- Improved comment references.

- Link the blas library after gsl.

  Thanks to Jerry James for this contribution.

- Fixed Dune/OPAM license specification.
---
 packages/gsl/gsl.1.25.1/opam | 48 ++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 packages/gsl/gsl.1.25.1/opam

diff --git a/packages/gsl/gsl.1.25.1/opam b/packages/gsl/gsl.1.25.1/opam
new file mode 100644
index 00000000000..e8ea5db6846
--- /dev/null
+++ b/packages/gsl/gsl.1.25.1/opam
@@ -0,0 +1,48 @@
+opam-version: "2.0"
+synopsis: "GSL - Bindings to the GNU Scientific Library"
+description: """
+gsl-ocaml interfaces the GSL (GNU Scientific Library), providing many of the
+most frequently used functions for scientific computation including algorithms
+for optimization, differential equations, statistics, random number generation,
+linear algebra, etc."""
+maintainer: ["Markus Mottl <markus.mottl@gmail.com>"]
+authors: [
+  "Olivier Andrieu <oandrieu@gmail.com>"
+  "Markus Mottl <markus.mottl@gmail.com>"
+]
+license: "GPL-3.0-or-later"
+homepage: "https://mmottl.github.io/gsl-ocaml"
+doc: "https://mmottl.github.io/gsl-ocaml/api"
+bug-reports: "https://github.com/mmottl/gsl-ocaml/issues"
+depends: [
+  "dune" {>= "2.7"}
+  "ocaml" {>= "4.12"}
+  "dune-configurator"
+  "conf-gsl" {build}
+  "conf-pkg-config" {build}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/mmottl/gsl-ocaml.git"
+url {
+  src:
+    "https://github.com/mmottl/gsl-ocaml/releases/download/1.25.1/gsl-1.25.1.tbz"
+  checksum: [
+    "sha256=837b2869aa001b1d9c72cc70ac02cc603ff93632f0c67936dacb3bda91c58d60"
+    "sha512=dc6f745738d8f2ad6da221c32634c072bb3de397613b76312d46f59ea66459aee8884019ddd88f3ef2d00ccbd015b63a37265dc5dded4d0207e954ae3fa9ec8f"
+  ]
+}
+x-commit-hash: "255f2d9c949e3a9c71d0534dd788dfcadcec567a"

From 342365cc7ed94fd03953f1a35bd0d68c97290bc9 Mon Sep 17 00:00:00 2001
From: Shon Feder <shon.feder@gmail.com>
Date: Mon, 25 Nov 2024 12:52:47 -0500
Subject: [PATCH 2/2] Mark gsl unailable on arm32

---
 packages/gsl/gsl.1.25.1/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/gsl/gsl.1.25.1/opam b/packages/gsl/gsl.1.25.1/opam
index e8ea5db6846..e16f0988bd5 100644
--- a/packages/gsl/gsl.1.25.1/opam
+++ b/packages/gsl/gsl.1.25.1/opam
@@ -37,6 +37,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/mmottl/gsl-ocaml.git"
+available: arch != "arm32"
 url {
   src:
     "https://github.com/mmottl/gsl-ocaml/releases/download/1.25.1/gsl-1.25.1.tbz"