summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorSharlatan Hellseher <sharlatanus@gmail.com>2022-12-11 22:25:40 +0000
committerLudovic Courtès <ludo@gnu.org>2023-01-06 23:46:31 +0100
commit96df67e0688da235c267dec33a588f08cca5c567 (patch)
tree95cbc2475ed527b3bf07cba419ebc985dd38d227 /gnu/packages/coq.scm
parentefb0f8950fc59993619940708349df085966034c (diff)
gnu: cfitsio: Update to 4.2.0.
Fix build on aarch64-linux as reported in: - https://issues.guix.gnu.org/59323 - https://github.com/rwesson/ALFA/issues/29 The latest version passed build on aarch64-linux system with curl and gfortran enabled. wcslib@7.5 passed build with curl enabled (was marked as failing in cements). * gnu/packages/astronomy.scm (cfitsio): Update to 4.2.0. [arguments]: Use Gexp, enable tests. [arguments](phases): Delete check and add post-install-check phases. [native-inputs]: Add gfortran. [inputs]: Add curl, zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions