Subject: bug#68908: closed (Re: [bug#68908] [PATCH] Add BINSEC.)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 11 Feb 2024 16:40:02 +0000

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 [email-masked].

-- 
68908: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=68908
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#68908] [PATCH] Add BINSEC.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Cc: [email-masked], pukkamustard <[email-masked]>
Date: Sun, 11 Feb 2024 17:32:11 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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!

Subject: [PATCH] Add BINSEC.
From: [email-masked]
To: [email-masked]
Date: Sat, 3 Feb 2024 16:03:19 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

From: Sören Tempel <[email-masked]>

This patchset adds a package for BINSEC <https://binsec.github.io/>.
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