From 6154f8f95b38ccfd49e7e85e1c63dc6f36b89924 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ram=C3=ADrez?= Date: Wed, 20 Nov 2024 10:00:21 -0400 Subject: [PATCH] Add Alive2 nixpkgs ref (#406) --- projects/Alive2/default.nix | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 projects/Alive2/default.nix diff --git a/projects/Alive2/default.nix b/projects/Alive2/default.nix new file mode 100644 index 00000000..d8558f04 --- /dev/null +++ b/projects/Alive2/default.nix @@ -0,0 +1,5 @@ +{pkgs, ...} @ args: { + packages = { + inherit (pkgs) alive2; + }; +}