[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch wip-ae-flint deleted (was f73a35473f)
From: |
guix-commits |
Subject: |
branch wip-ae-flint deleted (was f73a35473f) |
Date: |
Fri, 26 Jan 2024 04:10:27 -0500 (EST) |
andreas pushed a change to branch wip-ae-flint
in repository guix.
was f73a35473f gnu: arb: Deprecate package.
This change permanently discards the following revisions:
discard f73a35473f gnu: arb: Deprecate package.
discard 0ca0558168 gnu: python-flint: Update to 0.5.0 and build with flint@3.
discard c0c523a4e1 gnu: s7: Compile with flint@3.
discard f05b1b9df2 gnu: pynac: Remove package.
discard e286b42504 gnu: flint: Update to 3.0.1.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch wip-ae-flint deleted (was f73a35473f),
guix-commits <=