add doctrine

This commit is contained in:
Fabian Montero 2025-08-05 23:22:16 -06:00 committed by Alejandro Soto
parent 1c7810a49e
commit 26619394f4
No known key found for this signature in database
GPG key ID: A2C4C79764EE8F16
10 changed files with 113 additions and 63 deletions

12
doctrine/default.nix Normal file
View file

@ -0,0 +1,12 @@
{
pkgs,
namespace,
}: let
doctrine = {
lib = import ./lib {inherit lib pkgs doctrine;};
prefix = "trivium";
inherit namespace;
};
inherit (pkgs) lib;
in
doctrine