Andreas Enge ff9d8420cf gnu: python-flint: Update to 0.5.0 and build with flint@3. ...

* gnu/packages/patches/python-flint-includes.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister file.
* gnu/packages/algebra.scm (python-flint): Update to 0.5.0.
[source]: Drop patch.
[inputs]: Drop arb.
[native-inputs]: Use python-cython-3.

Change-Id: I5fa9b201efff76e16f957aee0ebcd453ea823e69

2024-01-26 10:09:35 +01:00

..

bootloader

bootloader: grub: Add support for loading an additional initrd.

2024-01-14 23:00:03 +01:00

build

chromium-extension: Compute json at argument evaluation time.

2023-12-27 17:18:52 +01:00

home

home: fontutils: Don't install fontconfig.

2024-01-17 11:13:45 +02:00

installer

…

machine

…

packages

gnu: python-flint: Update to 0.5.0 and build with flint@3.

2024-01-26 10:09:35 +01:00

services

services: cuirass: Depend on ‘user-processes’.

2024-01-24 23:28:38 +01:00

system

image: Consider grub-efi-removable-bootloader to be EFI bootloader.

2024-01-17 11:17:59 +01:00

tests

gnu: Remove linux-libre 4.14.

2024-01-22 13:24:20 -05:00

artwork.scm

…

bootloader.scm

bootloader: grub: Add support for loading an additional initrd.

2024-01-14 23:00:03 +01:00

ci.scm

ci: Don't cross compile to or1k-elf.

2024-01-23 21:45:36 +01:00

compression.scm

…

home.scm

home: 'home-environment-with-provenance' uses the HE location info.

2023-03-20 09:14:23 +04:00

image.scm

scripts: system: Build layered images.

2024-01-08 21:22:44 +03:00

installer.scm

gnu: Adjust to removing ed.scm and nano.scm

2023-12-25 19:58:21 +02:00

local.mk

gnu: python-flint: Update to 0.5.0 and build with flint@3.

2024-01-26 10:09:35 +01:00

machine.scm

gnu: Fix typo.

2022-02-08 13:34:02 +01:00

packages.scm

…

services.scm

gnu: Use ‘libc-utf8-locales-for-target’.

2023-12-02 12:25:45 +01:00

system.scm

system: hurd: Use the Shepherd 0.10.x.

2024-01-08 23:14:46 +01:00

tests.scm

tests: Honor system and target when lowering <system-test>.

2023-11-05 23:23:23 +01:00