From 8e340636622809bc81a0e0725e13568f7f836a0d Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:46 +0200 Subject: [PATCH] absolute: init at 0.3 --- pkgs/by-name/ab/absolute/package.nix | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 pkgs/by-name/ab/absolute/package.nix diff --git a/pkgs/by-name/ab/absolute/package.nix b/pkgs/by-name/ab/absolute/package.nix new file mode 100644 index 000000000000..b1f3a53cb152 --- /dev/null +++ b/pkgs/by-name/ab/absolute/package.nix @@ -0,0 +1,18 @@ +{ lib, ocamlPackages }: + +let + inherit (ocamlPackages) buildDunePackage libabsolute; +in + +buildDunePackage { + pname = "absolute"; + inherit (libabsolute) src version; + + __structuredAttrs = true; + + buildInputs = [ libabsolute ]; + + meta = libabsolute.meta // { + description = "A constraint solver based on abstract domains from the theory of abstract interpretation"; + }; +}