aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2022-11-23 13:09:39 +0100
committerRicardo Wurmus <rekado@elephly.net>2022-11-23 13:57:47 +0100
commit136760c3a9a5ef05057f199958c1b54f573b51c8 (patch)
tree0614b2526ca8d2fb62347131e78539e0986c9d1e /gnu/packages/coq.scm
parentfb2d4aa088bad38260095a582987b05c630b5a0c (diff)
downloadguix-136760c3a9a5ef05057f199958c1b54f573b51c8.tar.gz
guix-136760c3a9a5ef05057f199958c1b54f573b51c8.zip
gnu: python-multivolumefile: Update to 0.2.3.
* gnu/packages/python-compression.scm (python-multivolumefile): Update to 0.2.3. [build-system]: Use pyproject-build-system. [native-inputs]: Remove python-pep517 and python-setuptools; add python-hypothesis.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions
25aedb654f11cb2499c Ludovic Courtès 2024-01-08tests: childhurd: Increase SSH connection timeout....* gnu/tests/virtualization.scm (run-childhurd-test)[run-command-over-ssh]: Pass #:timeout. Change-Id: I44bb3673457275fe3a8ec0af2e364292727f53a8 Ludovic Courtès 2023-12-14tests: childhurd: Prefer “-cpu max” over “-cpu host”....“-cpu host” can sometimes, for unclear reasons, lead to this error from QEMU 8.1.1: qemu-system-x86_64: CPU model 'host' requires KVM or HVF This commit fixes it. Inspired by <https://github.com/matthewbauer/nixpkgs/commit/47b56e7c19c2e3af685ee408f02f232efb3d12b1>. * gnu/tests/virtualization.scm (run-childhurd-test)[test]: Prefer “-cpu max” over “-cpu host”. Change-Id: I11a8a68bb0532fe1f3fd2c34b4a7a5fdb7bccb57 Ludovic Courtès