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

[GNU bug Tracking System]

Your message dated Sun, 11 Feb 2024 17:32:11 +0100
with message-id <20240211173211.25210c9a@lepiller.eu>
and subject line Re: [bug#68908] [PATCH] Add BINSEC.
has caused the debbugs.gnu.org bug report #68908,
regarding [PATCH] Add BINSEC.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
68908: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=68908
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Add BINSEC.
>
>
>
>
> Date: 
>
> Sat,  3 Feb 2024 16:03:19 +0100
>
>
>
>
> From: Sören Tempel <soeren@soeren-tempel.net>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#68908] [PATCH] Add BINSEC.
>
>
>
>
> Date: 
>
> Sun, 11 Feb 2024 17:32:11 +0100
>
>
>
>
> 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!
>
>
> --- End Message ---