logo

overlay

My own overlay for experimentations, use with caution, no support is provided git clone https://anongit.hacktivis.me/git/overlay.git/
commit: d8b9ba5f691ed8f75a9a86e5140eb087fd931a6e
parent d85bcf7c9b754a360e404163addc6449bc62ff71
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Tue, 24 Feb 2026 23:47:06 +0100

profiles/base/package.mask: sci-mathematics/z3 for copilot

Diffstat:

Mprofiles/base/package.mask4++++
1 file changed, 4 insertions(+), 0 deletions(-)

diff --git a/profiles/base/package.mask b/profiles/base/package.mask @@ -1,3 +1,7 @@ +# Haelwenn (lanodan) Monnier <contact@hacktivis.me> (2026-02-24) +# Copilot slop +sci-mathematics/z3 + # Haelwenn (lanodan) Monnier <contact@hacktivis.me> (2025-11-20) # prebuilt www-plugins/pdfjs