more packages

2026-02-19 13:03:02 +01:00
parent 9fde568bee
commit 1a775ed217
27 changed files with 133 additions and 5 deletions
--- a/packages/libmpfr.shrap
+++ b/packages/libmpfr.shrap
@@ -0,0 +1,11 @@
+(package
+    (name "libmpfr")
+    (version "4.2.2")
+    (homepage "https://www.mpfr.org/")
+    (dependencies make)
+    (src (tar
+        (url "https://www.mpfr.org/mpfr-current/mpfr-4.2.2.tar.gz")
+        (dir "mpfr-4.2.2")
+        (blake3 "bbcf3bda14e2c10203a0f266efba71507bc7c94f863a8a30b3120405cb41d7d8")))
+    (build
+        (configure_make)))