summaryrefslogtreecommitdiff
path: root/.mumi
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2024-03-18 15:31:48 +0100
committerAndreas Enge <andreas@enge.fr>2024-04-29 16:37:51 +0200
commit50e3fb1ee9407ade5c08db85ffeb3663196a574f (patch)
tree6cf7639f17d45ecdd4b40dc0351e5c0dcb2a96cc /.mumi
parent64ed1f9eec9596512b067af67799997f1e1e5c8e (diff)
gnu: flint: Update to 3.1.2.
* gnu/packages/algebra.scm (flint): Update to 3.1.2. [arguments]: Add a configure flag. [license]: Change to lgpl3+. Change-Id: I57d6dc7e1ce90399d9e4c01b35e62793bfc07bee
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions