From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] Add BINSEC. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by submit@debbugs.gnu.org id=B.170697267530866 (code B ref -1); Sat, 03 Feb 2024 15:05:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 Feb 2024 15:04:35 +0000 Received: from localhost ([127.0.0.1]:46791 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZK-00081m-T1 for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:35 -0500 Received: from lists.gnu.org ([2001:470:142::17]:37136) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZI-00081X-4a for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:32 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWHZ1-0007kf-0X for guix-patches@gnu.org; Sat, 03 Feb 2024 10:04:15 -0500 Received: from magnesium.8pit.net ([45.76.88.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWHYx-0007l8-Nz; Sat, 03 Feb 2024 10:04:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=MDlrt3zpgX 9zM+D5TlRfgKC2zjwksvxv3U6OIc+vADw=; h=date:subject:to:from; d=soeren-tempel.net; b=etVrhevVCgD8Smf2Vopx/koJO5Gxn06PMaRk8rjK4E6unrA /f1QdMImraHd1lHKZNRTQFrH4dzaUBXJyunNUO4f9ZtdqTNuTzmaKlkx5/fgcTNCwYEE69 u8ZfbIPsuZG3fuJU22ihZf36PQ//+jrledgAT3+Rgoom749x0Hb4QM= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 31af7619 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:04:05 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:03:19 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=45.76.88.171; envelope-from=soeren@soeren-tempel.net; helo=magnesium.8pit.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.7 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: From: =?UTF-8?Q?S=C3=B6ren?= Tempel This patchset adds a package for BINSEC . BINSEC is a popular tool for binary program analysis using symbolic execution. Symbolic execution is a technique for automated soft [...] Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.9 SPF_FAIL SPF: sender does not match SPF record (fail) [SPF failed: Please see http://www.openspf.org/Why?s=mfrom;id=soeren%40soeren-tempel.net;ip=2001%3A470%3A142%3A%3A17;r=debbugs.gnu.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: binsec.github.io] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: binsec.github.io] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.7 (/) From: Sören Tempel This patchset adds a package for BINSEC . BINSEC is a popular tool for binary program analysis using symbolic execution. Symbolic execution is a technique for automated software testing and an active area of computer science research. This package for BINSEC is part of and ongoing effort to package symbolic execution tools in Guix, thereby easing the creation of computational environments for reproducible research in the symbolic execution domain. BINSEC requires 9 new OCaml packages, most of them originate in Dune. Sören Tempel (10): gnu: Add ocaml-iso8601 gnu: Add ocaml-toml. gnu: Add ocaml-pp. gnu: Add ocaml-grain-dypgen. gnu: Add ocaml-ordering. gnu: Add ocaml-dyn. gnu: Add ocaml-stdune. gnu: Add ocaml-dune-private-libs. gnu: Add ocaml-dune-site. gnu: Add binsec. gnu/packages/ocaml.scm | 213 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 213 insertions(+) base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84 From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-iso8601 Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315231629 (code B ref 68908); Sat, 03 Feb 2024 15:13:01 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:32 +0000 Received: from localhost ([127.0.0.1]:46800 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh1-0008E0-Tb for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:32 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:44635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHgz-0008Dl-Pb; Sat, 03 Feb 2024 10:12:30 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=UVpHTeM3Qu HzvAg14BbeZg+4Pd6uhCWCqgBO1xbi6pU=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=v+abDsrc8zeBuJ6TsNJLkmEaG+oShu OCB/ZiqjXejtqHoeDFWpxJOs/QZwxXaQHCVxd9r+M9XLrt9+/nWUi45anruwebH8tdo/0J 9PVM32CgeuolXbh0g8DsUeDDCFA0RMgvs+lNzXhTU2+S425OLfslzXIpW5QHYncVE9kc// U= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 91a22a8c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:16 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:11:57 +0100 Message-ID: <78a03f74beedf71f343dcd73baf4a31a4100ab14.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-iso8601): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e166cdec2f..e9ada32bde 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2058,6 +2058,26 @@ (define-public ocaml5.0-result #:ocaml ,ocaml-5.0 #:findlib ,ocaml5.0-findlib)))) +(define-public ocaml-iso8601 + (package + (name "ocaml-iso8601") + (version "0.2.6") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-community/ISO8601.ml") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0nzadswspizi7s6sf67icn2xgc3w150x8vdg5nk1mjrm2s98n6d3")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-stdlib-shims ocaml-core-unix ocaml-ounit)) + (synopsis "Parser and printer for date-times in ISO8601") + (description "ISO 8601 and RFC 3339 date parsing for OCaml.") + (home-page "https://github.com/ocaml-community/ISO8601.ml") + (license license:expat))) + (define-public ocaml-topkg (package (name "ocaml-topkg") From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-pp. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315331653 (code B ref 68908); Sat, 03 Feb 2024 15:13:02 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:33 +0000 Received: from localhost ([127.0.0.1]:46805 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh3-0008EN-6S for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:33 -0500 Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:32641) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh1-0008Do-6a; Sat, 03 Feb 2024 10:12:31 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=LVb3IVMwFY jHuj/36G6sS8/UJdfD/LphvpheF9jn1uc=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=xP+onUyHMERkXe5G+SiIxXVY9biCTD AKr3UjnuePy8yMBT7NBZ5nXFP8QO+aBSGh2za7o9MerhYK6ueWtqKs+BqKj0GoehlDlzuv yY7WdMn2m+FS5psKrIp+HDQQ26WnwzfB4bmQiC8YkbDV1bOyua27DVQhW3lDE6p8gl5y13 U= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id e14d94c0 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:17 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:11:59 +0100 Message-ID: <34e73be66b832c186ff8a3cc0be546950da67da8.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-pp): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index fcb45793aa..ac44b084d5 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2101,6 +2101,29 @@ (define-public ocaml-toml (home-page "https://github.com/ocaml-toml/To.ml") (license license:expat))) +(define-public ocaml-pp + (package + (name "ocaml-pp") + (version "1.2.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-dune/pp") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ylwb8lbjzj1prnal3c5p404dvh7bv4s19cvgrplnd7s46lvnj50")))) + (build-system dune-build-system) + (native-inputs (list ocaml-ppx-expect)) + (home-page "https://github.com/ocaml-dune/pp") + (synopsis "Pretty-printing library") + (description + "Pretty-printing library allowing custom formatting of defined +types and values. The API is intended as an alternative to the +@code{Format} module of the OCaml standard library.") + (license license:expat))) + (define-public ocaml-topkg (package (name "ocaml-topkg") From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-toml. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315431667 (code B ref 68908); Sat, 03 Feb 2024 15:13:02 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:34 +0000 Received: from localhost ([127.0.0.1]:46808 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh3-0008EU-J3 for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:34 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:44635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh1-0008Dl-6q; Sat, 03 Feb 2024 10:12:32 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=VOKYlRTear N+bC+zZ/uRPVBiy6kv6T7iRvn3xi2auec=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=D7Ygf++bkPZVoy5QcWTqVHhzOU3bXT x2T40MEDYcwuRLtggnep7PJGqasd4Ni5KCGOBbIeEIuMSRiogDrO8CmghOW7nuIjzdKiow rao1Qh7JGneN3ikFYtuWHAKKReRRnYh/yGaMwlHiDwq7b/4bsR72Ohe9KQaLPnJqB5O6Gd g= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 2fd7c60a (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:16 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:11:58 +0100 Message-ID: <2d9d01dbdc500dbe07618c172645e99e3d2a62fa.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-toml): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e9ada32bde..fcb45793aa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2078,6 +2078,29 @@ (define-public ocaml-iso8601 (home-page "https://github.com/ocaml-community/ISO8601.ml") (license license:expat))) +(define-public ocaml-toml + (package + (name "ocaml-toml") + (version "7.1.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml-toml/To.ml") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0z2873mj3i6h9cg8zlkipcjab8jympa4c4avhk4l04755qzphkds")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-base ocaml-mdx ocaml-menhir ocaml-iso8601)) + (synopsis "TOML library for OCaml") + (description + "This package provides an OCaml library for interacting with files +in the @acronym{TOML, Tom's Obvious Minimal Language} format. Specifically, +it provides parser, a serializer, and a pretty printer.") + (home-page "https://github.com/ocaml-toml/To.ml") + (license license:expat))) + (define-public ocaml-topkg (package (name "ocaml-topkg") From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-grain-dypgen. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315531680 (code B ref 68908); Sat, 03 Feb 2024 15:13:03 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:35 +0000 Received: from localhost ([127.0.0.1]:46811 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh4-0008Ei-4V for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:34 -0500 Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:32641) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh2-0008Do-00; Sat, 03 Feb 2024 10:12:32 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=Yw4/gPgWRU LEPzefEY0r24hv1MUk+1qhCXwCt3RhT18=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=jBQaajqD31g1uMe8R6rZamEVWklNkm 764I7AS/pbkgue01ltAgMYSdGdCil+ZCMOafZaIRGGHbbWM14c8lbFFL8dcO8I3Pk9uYEI r/RpPd17JaQqNEAI2TGCowP1Yo9N6kdEBydZBX6l1rp+gijaMQ4WU9owB5jgOK8YNX8T0d s= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id d43a4798 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:18 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:00 +0100 Message-ID: <88e924b717a307c24434e610f1b1c538fb8f9879.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-grain-dypgen): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ac44b084d5..b77acdf0d4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2124,6 +2124,41 @@ (define-public ocaml-pp @code{Format} module of the OCaml standard library.") (license license:expat))) +(define-public ocaml-grain-dypgen + (package + (name "ocaml-grain-dypgen") + (version "0.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/grain-lang/dypgen") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1jyxkvi75nchk5kmhqixmjy70z55gmlqa83pxn0hsv2qxvyqxavw")))) + (build-system ocaml-build-system) + (arguments + (list + ;; Upstream does not have a test suite. + #:tests? #f + #:make-flags #~(let ((out #$output)) + (list (string-append "OCAMLLIBDIR=" out + "/lib/ocaml/site-lib") + (string-append "BINDIR=" out "/bin") + (string-append "MANDIR=" out "/share/man"))) + #:phases #~(modify-phases %standard-phases + (delete 'configure)))) + (native-inputs (list ocaml-findlib)) + (properties `((upstream-name . "grain_dypgen"))) + (home-page "https://github.com/grain-lang/dypgen") + (synopsis "Self-extensible parsers and lexers for OCaml") + (description + "@acronym{GLR, generalized LR} parser generator for OCaml, it is +able to generate self-extensible parsers (also called adaptive parsers) +as well as extensible lexers for the parsers it produces.") + (license license:cecill-b))) + (define-public ocaml-topkg (package (name "ocaml-topkg") From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-ordering. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315531687 (code B ref 68908); Sat, 03 Feb 2024 15:13:03 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:35 +0000 Received: from localhost ([127.0.0.1]:46814 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh4-0008F0-Sj for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:35 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:44635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh2-0008Dl-D7; Sat, 03 Feb 2024 10:12:32 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=iFLkEaRlfl oDTJfCBT1BJ1xDJEV6LaoV5kyUMen6jf0=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=H4gUiE7b/2HElZRsfP8mR05O1IshDi YV3mNuj4G359Wwxa10AZy1q1Yz3ZOUIruE/0gOqnu1vEt+4wQ1KOZKsORnEjXAmX3KJMFL Ee04sUbYqxlwtioFhcORgmhvtkmEyE2SVOWF8H4XdkBOW1nOkUKEdBAJmz9IO3AycHvNP0 I= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id a06e8895 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:19 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:01 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-ordering): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b77acdf0d4..1d9fd31d49 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8305,6 +8305,20 @@ (define-public ocaml-fix that involve memoization and recursion.") (license license:lgpl2.0))) +(define-public ocaml-ordering + (package + (inherit dune) + (name "ocaml-ordering") + (build-system dune-build-system) + (arguments + '(#:package "ordering" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs (list ocaml-odoc)) + (synopsis "Element ordering library provided by Dune") + (description "Element ordering library provided by Dune.") + (license license:expat))) + (define-public ocaml-dune-build-info (package (inherit dune) From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-dyn. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315731707 (code B ref 68908); Sat, 03 Feb 2024 15:13:04 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:37 +0000 Received: from localhost ([127.0.0.1]:46817 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh7-0008FL-DM for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:37 -0500 Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:32641) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh2-0008Do-Qe; Sat, 03 Feb 2024 10:12:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=uqOqfH/xVN b0NreNOrcU3sHWoXqKDgisgxnGFwRlArk=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=u5fRUmLdAeqZZ9F6UBCdN0Z7AxnB3M v6MsAQzQgZdx6WJHl0oYV5onluLN0EH+nEwGCbxyfoly/o9M7ggvtQgIIe3WRjERyCW11e dWf8Bo4GGOPMhvx//yu3VdAlG43YfI3WwNseC9ae1QdHrah17zxDKXO36CnaI6zeCIghLa Q= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 1bdd785c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:19 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:02 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-dyn): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1d9fd31d49..93b38b1442 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8319,6 +8319,20 @@ (define-public ocaml-ordering (description "Element ordering library provided by Dune.") (license license:expat))) +(define-public ocaml-dyn + (package + (inherit dune) + (name "ocaml-dyn") + (build-system dune-build-system) + (arguments + '(#:package "dyn" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs (list ocaml-ordering ocaml-pp ocaml-odoc)) + (synopsis "Dynamic type") + (description "Dynamic type") + (license license:expat))) + (define-public ocaml-dune-build-info (package (inherit dune) From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-stdune. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315831715 (code B ref 68908); Sat, 03 Feb 2024 15:13:04 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:38 +0000 Received: from localhost ([127.0.0.1]:46819 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh7-0008FR-RT for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:38 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:44635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh3-0008Dl-8u; Sat, 03 Feb 2024 10:12:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=lKI6O4upMn DxcA3pCr+E0hpKUNWHaAz1RfohSxOBxG0=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=V/BbcXX7xsHNopPe9PzTSKTi0YjU/J tvgtGUidPeeSEkmeo2ehn05ilaTIflBk3FWvAxpUE6snjt0fwT6sdGwpzyTtymvJhsW3jo uOKkyZtSl0Bf+oN2qM6kXXRJDr8n9ZLfjDG5lYxYRw9NKV2CKg6MsptXXNG7A3+7B0L/f0 I= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 722ba3e5 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:20 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:03 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-stdune): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 93b38b1442..4d61610335 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8333,6 +8333,23 @@ (define-public ocaml-dyn (description "Dynamic type") (license license:expat))) +(define-public ocaml-stdune + (package + (inherit dune) + (name "ocaml-stdune") + (build-system dune-build-system) + (arguments + '(#:package "stdune" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs (list ocaml-dyn ocaml-ordering ocaml-pp ocaml-csexp + ocaml-odoc)) + (synopsis "Dune's unstable standard library") + (description + "This library ships the Dune standard library, the library does not +provide any backwards compatibility or stability guarantees.") + (license license:expat))) + (define-public ocaml-dune-build-info (package (inherit dune) From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-dune-private-libs. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315831723 (code B ref 68908); Sat, 03 Feb 2024 15:13:05 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:38 +0000 Received: from localhost ([127.0.0.1]:46821 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh8-0008FU-4u for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:38 -0500 Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:32641) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh3-0008Do-JI; Sat, 03 Feb 2024 10:12:34 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=nlKLKc0YwL +E7DhtBHTyzQ5wrZvFF/nrvSwTOpfJVDY=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=K2E4DceJYtdNE8za2vZ4ciEm19Ogsc 3+9P8OB4GJ1TOk5nJDI7J9novgb6PA2WjCwRKPWEzpsmsBrqLXiLDXDy1PeRDtS7K3dFya PJBVbWsMS1ewu/3ZRsvBTInfhoVLqwxeatC1GbXXP3GpnFSJ2LCkOzJFnqxmDq4BliFhv+ o= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 05b9da81 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:21 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:04 +0100 Message-ID: <22782da727d7d93f129d6247ab19e5bd84b2976c.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-dune-private-libs): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4d61610335..f2d18d0205 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8350,6 +8350,25 @@ (define-public ocaml-stdune provide any backwards compatibility or stability guarantees.") (license license:expat))) +(define-public ocaml-dune-private-libs + (package + (inherit dune) + (name "ocaml-dune-private-libs") + (build-system dune-build-system) + (arguments + '(#:package "dune-private-libs" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs (list ocaml-csexp ocaml-pp ocaml-dyn ocaml-stdune + ocaml-odoc)) + (synopsis "Private libraries of Dune") + (description + "This OCaml library provides several private APIs shared between +various Dune-internal packages. It is not intended for public use by +the authors and does therefore not provide any stability guarantees. +Nonetheless, many OCaml packages depend on this library.") + (license license:expat))) + (define-public ocaml-dune-build-info (package (inherit dune) From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add ocaml-dune-site. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315831730 (code B ref 68908); Sat, 03 Feb 2024 15:13:05 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:38 +0000 Received: from localhost ([127.0.0.1]:46823 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh8-0008Fc-FO for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:38 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:44635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh4-0008Dl-FU; Sat, 03 Feb 2024 10:12:35 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=wqR3Gu/CFt 54oSrUyve3ch6O+c/YlDXtZpFfBb+TXJQ=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=Z8h5USkhIe8mmY1C3Xv865IirmP4+R zg02Vu9E9Lyqc7nrJbuUo7N8FeqDu8YTcYTSu+lmVfjxJwetOkNp7X7qLqzqdR6EBAn6Cm M/99aoojW3B8NBPwY+rezFbvA1YOMj/d014XMT7FPe9e+XG+RgHerALmEN6vkyH3sgpmX4 0= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 6d43cf4c (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:21 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:05 +0100 Message-ID: <19603445c6e4d01e6622116d9c9330bbda5d3e7b.1706972151.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Sören Tempel * gnu/packages/ocaml.scm (ocaml-dune-site): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f2d18d0205..8701b4cb23 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8369,6 +8369,21 @@ (define-public ocaml-dune-private-libs Nonetheless, many OCaml packages depend on this library.") (license license:expat))) +(define-public ocaml-dune-site + (package + (inherit dune) + (name "ocaml-dune-site") + (build-system dune-build-system) + (arguments + '(#:package "dune-site" + ;; No separate test suite from dune. + #:tests? #f)) + (propagated-inputs (list ocaml-dune-private-libs ocaml-odoc)) + (synopsis "Embed locations information inside executable and libraries") + (description "This OCaml library allows embedding information inside +executable binaries and libraries, it is provided by Dune.") + (license license:expat))) + (define-public ocaml-dune-build-info (package (inherit dune) From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] gnu: Add binsec. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 15:13:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68908@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170697315931736 (code B ref 68908); Sat, 03 Feb 2024 15:13:06 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 15:12:39 +0000 Received: from localhost ([127.0.0.1]:46825 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh8-0008Fj-PJ for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:12:39 -0500 Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d]:32641) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHh5-0008Do-1c; Sat, 03 Feb 2024 10:12:35 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=eQVj6r/NT7 mV3wlmuSesZlCfCYR/GC+/JsoqHimZ2kc=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=aI4tv+BFSdKDs9uFpU8YjuGqAFmGHS hmXDZ/2yYWzpQmqjoctpLMjDGiOuA6cBUar4ZnwUd3127wl/gh3hs2B4AlsMiQO5RNlDYC cZRcWhKm05bktRFrVZq+BrkIeHOCKZKsSIqJMJJ/o1q8W4zkHormm1c7D9mYBZOut2wLFV g= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 7a91e454 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:12:22 +0100 (CET) From: soeren@soeren-tempel.net Date: Sat, 3 Feb 2024 16:12:06 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) From: Sören Tempel * gnu/packages/ocaml.scm (binsec): New variable. Signed-off-by: Sören Tempel --- gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8701b4cb23..f76d9e089d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1345,6 +1345,39 @@ (define-public lablgtk libpanel, librsvg and quartz.") (license license:lgpl2.1))) +(define-public binsec + (package + (name "binsec") + (version "0.8.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/binsec/binsec") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0j6lwj20jaq0702v2fqvsrax1400zqbvz5q2cmjqhvrjzcfcl0kr")))) + (build-system dune-build-system) + (native-inputs (list gmp ocaml-qcheck ocaml-ounit2)) + (propagated-inputs (list ocaml-base + ocaml-dune-site + ocaml-menhir + ocaml-graph + ocaml-zarith + ocaml-grain-dypgen + ocaml-toml)) + (synopsis "Binary-level analysis platform") + (description + "BINSEC is a binary analysis platform which implements analysis +techniques such as symbolic execution. The goal of BINSEC is to improve +software security at the binary level through binary analysis. BINSEC +is a research tool which relies on prior work in binary code analysis +at the intersection of formal methods, program analysis security and +software engineering.") + (home-page "https://binsec.github.io/") + (license license:lgpl2.1))) + (define-public unison (package (name "unison") From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] Add BINSEC. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 03 Feb 2024 21:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: soeren@soeren-tempel.net Cc: 68908@debbugs.gnu.org, pukkamustard Received: via spool by 68908-submit@debbugs.gnu.org id=B68908.170699715729631 (code B ref 68908); Sat, 03 Feb 2024 21:53:01 +0000 Received: (at 68908) by debbugs.gnu.org; 3 Feb 2024 21:52:37 +0000 Received: from localhost ([127.0.0.1]:47181 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWNwD-0007hq-21 for submit@debbugs.gnu.org; Sat, 03 Feb 2024 16:52:37 -0500 Received: from lepiller.eu ([89.234.186.109]:35168 helo=hermes.lepiller.eu) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWNwA-0007hg-34 for 68908@debbugs.gnu.org; Sat, 03 Feb 2024 16:52:35 -0500 Received: from hermes.lepiller.eu (localhost [127.0.0.1]) by hermes.lepiller.eu (OpenSMTPD) with ESMTP id 44da99da; Sat, 3 Feb 2024 21:52:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=0k7J+iMyuwBN xrUOGjCaySJPhJfrxjWprFDlEn8WKec=; b=B1v8KEXnriXgP2dy7XEb//ppNBhB yncbPBL+ri65pAwEm3H0ALdjVyLIfyr8pVRFF0ovSSkiSw6X4W0vtWrRusVMWuWl xLQc61bfd7gJhAlE1+vdGCeb9lvATn8RO64rT9dyPSORB1Cl3Sa0qSL6kHr6vW/i ++LfV0nL56q9jnLbB6X2cbDHRdo1KgefIpRHZ9Av710LaSGPYgYPFjebmb9zmuZQ ubOJb8ToivqOwyqyTzlrN6sa9D7FBlywn5JQsELWe2n4fLIwUkMrQAIbyZFCP+ZO 05wBlPZ0b1tGiL0roypoOM6+Mh8Pomjrh4MZwfQukwwE/J9d5FE1Lfcclg== Received: by hermes.lepiller.eu (OpenSMTPD) with ESMTPSA id c0994421 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 3 Feb 2024 21:52:19 +0000 (UTC) Date: Sat, 3 Feb 2024 22:52:08 +0100 From: Julien Lepiller Message-ID: <20240203225208.72a14eae@tachikoma.lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Le Sat, 3 Feb 2024 16:03:19 +0100, soeren@soeren-tempel.net a =C3=A9crit : > From: S=C3=B6ren Tempel >=20 > This patchset adds a package for BINSEC . > BINSEC is a popular tool for binary program analysis using symbolic > execution. Symbolic execution is a technique for automated software > testing and an active area of computer science research. This package > for BINSEC is part of and ongoing effort to package symbolic execution > tools in Guix, thereby easing the creation of computational > environments for reproducible research in the symbolic execution > domain. >=20 > BINSEC requires 9 new OCaml packages, most of them originate in Dune. Thanks for the patch series! I have another series I need to push first (which I should be able to do after FOSDEM): https://issues.guix.gnu.org/64249. I recognise the dune packages from this other patch series here. We'll drop them, sorry you had to do this work for nothing. I can't take a look right now, but I'm super excited to get binsec in Guix! > S=C3=B6ren Tempel (10): > gnu: Add ocaml-iso8601 > gnu: Add ocaml-toml. > gnu: Add ocaml-pp. > gnu: Add ocaml-grain-dypgen. > gnu: Add ocaml-ordering. > gnu: Add ocaml-dyn. > gnu: Add ocaml-stdune. > gnu: Add ocaml-dune-private-libs. > gnu: Add ocaml-dune-site. > gnu: Add binsec. >=20 > gnu/packages/ocaml.scm | 213 > +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 213 > insertions(+) >=20 >=20 > base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84 >=20 >=20 From unknown Thu Jun 19 12:33:34 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: soeren@soeren-tempel.net Subject: bug#68908: closed (Re: [bug#68908] [PATCH] Add BINSEC.) Message-ID: References: <20240211173211.25210c9a@lepiller.eu> X-Gnu-PR-Message: they-closed 68908 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 68908@debbugs.gnu.org Date: Sun, 11 Feb 2024 16:40:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1707669602-26213-1" This is a multi-part message in MIME format... ------------=_1707669602-26213-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #68908: [PATCH] Add BINSEC. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 68908@debbugs.gnu.org. --=20 68908: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D68908 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1707669602-26213-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 68908-done) by debbugs.gnu.org; 11 Feb 2024 16:39:23 +0000 Received: from localhost ([127.0.0.1]:58917 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZCrS-0006nJ-4f for submit@debbugs.gnu.org; Sun, 11 Feb 2024 11:39:23 -0500 Received: from 46.233.146.77.rev.sfr.net ([77.146.233.46]:54586 helo=localhost) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZCrL-0006mo-ES for 68908-done@debbugs.gnu.org; Sun, 11 Feb 2024 11:39:20 -0500 Received: from localhost (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 16e4d18f; Sun, 11 Feb 2024 16:32:11 +0000 (UTC) Received: by localhost (OpenSMTPD) with ESMTPSA id 82cacb95 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sun, 11 Feb 2024 16:32:11 +0000 (UTC) Date: Sun, 11 Feb 2024 17:32:11 +0100 From: Julien Lepiller To: soeren@soeren-tempel.net Subject: Re: [bug#68908] [PATCH] Add BINSEC. Message-ID: <20240211173211.25210c9a@lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: 4.0 (++++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the description of a few packages, removed ocaml-findlib from inputs, si [...] Content analysis details: (4.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FSL_HELO_NON_FQDN_1 No description available. 3.6 HELO_LOCALHOST No description available. 0.0 TVD_RCVD_IP Message was received from an IP address -0.0 SPF_PASS SPF: sender matches SPF record 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 68908-done Cc: 68908-done@debbugs.gnu.org, pukkamustard X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 3.0 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the description of a few packages, removed ocaml-findlib from inputs, si [...] Content analysis details: (3.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FSL_HELO_NON_FQDN_1 No description available. 3.6 HELO_LOCALHOST No description available. -0.0 SPF_PASS SPF: sender matches SPF record 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS -0.0 T_SCC_BODY_TEXT_LINE No description available. -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the description of a few packages, removed ocaml-findlib from inputs, since it's already implicit, and added a copyright line for you. Thanks! ------------=_1707669602-26213-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 3 Feb 2024 15:04:35 +0000 Received: from localhost ([127.0.0.1]:46791 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZK-00081m-T1 for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:35 -0500 Received: from lists.gnu.org ([2001:470:142::17]:37136) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rWHZI-00081X-4a for submit@debbugs.gnu.org; Sat, 03 Feb 2024 10:04:32 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWHZ1-0007kf-0X for guix-patches@gnu.org; Sat, 03 Feb 2024 10:04:15 -0500 Received: from magnesium.8pit.net ([45.76.88.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rWHYx-0007l8-Nz; Sat, 03 Feb 2024 10:04:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=MDlrt3zpgX 9zM+D5TlRfgKC2zjwksvxv3U6OIc+vADw=; h=date:subject:to:from; d=soeren-tempel.net; b=etVrhevVCgD8Smf2Vopx/koJO5Gxn06PMaRk8rjK4E6unrA /f1QdMImraHd1lHKZNRTQFrH4dzaUBXJyunNUO4f9ZtdqTNuTzmaKlkx5/fgcTNCwYEE69 u8ZfbIPsuZG3fuJU22ihZf36PQ//+jrledgAT3+Rgoom749x0Hb4QM= Received: from localhost (dynamic-2a02-3102-49da-001b-64f8-84b7-1d88-de2f.310.pool.telefonica.de [2a02:3102:49da:1b:64f8:84b7:1d88:de2f]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 31af7619 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sat, 3 Feb 2024 16:04:05 +0100 (CET) From: soeren@soeren-tempel.net To: guix-patches@gnu.org Subject: [PATCH] Add BINSEC. Date: Sat, 3 Feb 2024 16:03:19 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=45.76.88.171; envelope-from=soeren@soeren-tempel.net; helo=magnesium.8pit.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.7 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: From: Sören Tempel This patchset adds a package for BINSEC . BINSEC is a popular tool for binary program analysis using symbolic execution. Symbolic execution is a technique for automated soft [...] Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.9 SPF_FAIL SPF: sender does not match SPF record (fail) [SPF failed: Please see http://www.openspf.org/Why?s=mfrom;id=soeren%40soeren-tempel.net;ip=2001%3A470%3A142%3A%3A17;r=debbugs.gnu.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: binsec.github.io] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: binsec.github.io] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.7 (/) From: Sören Tempel This patchset adds a package for BINSEC . BINSEC is a popular tool for binary program analysis using symbolic execution. Symbolic execution is a technique for automated software testing and an active area of computer science research. This package for BINSEC is part of and ongoing effort to package symbolic execution tools in Guix, thereby easing the creation of computational environments for reproducible research in the symbolic execution domain. BINSEC requires 9 new OCaml packages, most of them originate in Dune. Sören Tempel (10): gnu: Add ocaml-iso8601 gnu: Add ocaml-toml. gnu: Add ocaml-pp. gnu: Add ocaml-grain-dypgen. gnu: Add ocaml-ordering. gnu: Add ocaml-dyn. gnu: Add ocaml-stdune. gnu: Add ocaml-dune-private-libs. gnu: Add ocaml-dune-site. gnu: Add binsec. gnu/packages/ocaml.scm | 213 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 213 insertions(+) base-commit: 179bb57d2532ee6b81791e078b0f782cbf88cb84 ------------=_1707669602-26213-1-- From unknown Thu Jun 19 12:33:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#68908] [PATCH] Add BINSEC. Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 12 Feb 2024 08:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 68908 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 68908-done@debbugs.gnu.org, pukkamustard Received: via spool by 68908-done@debbugs.gnu.org id=D68908.17077273047103 (code D ref 68908); Mon, 12 Feb 2024 08:42:02 +0000 Received: (at 68908-done) by debbugs.gnu.org; 12 Feb 2024 08:41:44 +0000 Received: from localhost ([127.0.0.1]:39496 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZRsm-0001qT-03 for submit@debbugs.gnu.org; Mon, 12 Feb 2024 03:41:44 -0500 Received: from magnesium.8pit.net ([45.76.88.171]:16009) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZRsi-0001qC-HP for 68908-done@debbugs.gnu.org; Mon, 12 Feb 2024 03:41:42 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=opensmtpd; bh=E4HRi8VQ6r Lq1ZiUN7ob0g8AFMZ5cw30d7+eu7zGHs8=; h=in-reply-to:references:from: subject:cc:to:date; d=soeren-tempel.net; b=l1vp0CtXEWSUue5IM/cwH8r/fWD zHt2PwZVNVeiBxytYPh71Br/EjdHoWhud+cgX6lq8EEZqY8QTdmgTl0PIOxFjbn3gvowYt hG0ELXXWBRg3CI9ZdMRUjYK9CSZMSpcu64VfqV4qPAJ5J8P//pvQz62GwOBW6irvrfXfYN WjIo= Received: from localhost (dynamic-2a02-3102-49da-001b-c115-7d8c-d83e-458b.310.pool.telefonica.de [2a02:3102:49da:1b:c115:7d8c:d83e:458b]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 156d2705 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Mon, 12 Feb 2024 09:41:20 +0100 (CET) Date: Mon, 12 Feb 2024 09:41:12 +0100 From: =?UTF-8?Q?S=C3=B6ren?= Tempel References: <20240211173211.25210c9a@lepiller.eu> In-Reply-To: <20240211173211.25210c9a@lepiller.eu> Message-Id: <3LMU4EMXHNHRG.3EN4FKJ5JG3JK@8pit.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Julien Lepiller wrote: > Applied to master as 8b679328512fbf5ca4c50c446884fc6069fdb589 to > 16d2be641424815a1779119bb64bc6ba1be1161b, with minor tweaks to the > description of a few packages, removed ocaml-findlib from inputs, since > it's already implicit, and added a copyright line for you. Thanks! Thank you for merging this! Is there any chance you could also take a look = at my KLEE patch ? Similar to BinSec, KLEE = is a very popular symbolic execution tool. Unfortunately, I couldn't find a suitable team for this patch and hence it has been stale for a while. Greetings S=C3=B6ren