diff options
| author | Andreas Enge <andreas@enge.fr> | 2026-07-20 19:49:52 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-08-10 11:44:22 +0200 |
| commit | dbbd7160bdce6508eaf89b04dd3b244d7b82e470 (patch) | |
| tree | 7c834fe36feb00d60929cd9217b15af24134735c /gnu/packages | |
| parent | cfa0e7da7a4488cfad9f4d8ea28e96de8c5f7bf5 (diff) | |
gnu: Remove flint-3.3.
* gnu/packages/algebra.scm (flint-3.3): Delete variable.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/algebra.scm | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 01becb7e3d1..a7ca51c85b0 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm | |||
| @@ -529,18 +529,6 @@ fast arithmetic.") | |||
| 529 | (properties | 529 | (properties |
| 530 | '((release-monitoring-url . "http://flintlib.org/downloads.html"))))) | 530 | '((release-monitoring-url . "http://flintlib.org/downloads.html"))))) |
| 531 | 531 | ||
| 532 | (define-public flint-3.3 | ||
| 533 | (package | ||
| 534 | (inherit flint) | ||
| 535 | (version "3.3.1") | ||
| 536 | (source | ||
| 537 | (origin | ||
| 538 | (method url-fetch) | ||
| 539 | (uri (string-append "https://flintlib.org/download/flint-" | ||
| 540 | version ".tar.gz")) | ||
| 541 | (sha256 | ||
| 542 | (base32 "1yzasdcv90f6w926p9g92cli2daxvb0mh2s1w1qskkvn618hxmv4")))))) | ||
| 543 | |||
| 544 | (define-public python-flint | 532 | (define-public python-flint |
| 545 | (package | 533 | (package |
| 546 | (name "python-flint") | 534 | (name "python-flint") |