aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-11-03 16:56:20 +0100
committerRicardo Wurmus <rekado@elephly.net>2023-11-03 22:49:14 +0100
commiteff815f2968ad501db9e94794c0c2a9f6088dad8 (patch)
tree46bd53af0d213751cb3eec021f24ecde0dfac532 /gnu/packages/agda.scm
parentbb2fd2549d28aeccdb0fb8658079a77fb75d7162 (diff)
downloadguix-eff815f2968ad501db9e94794c0c2a9f6088dad8.tar.gz
guix-eff815f2968ad501db9e94794c0c2a9f6088dad8.zip
gnu: r-dittoseq: Update to 1.14.0.
* gnu/packages/bioconductor.scm (r-dittoseq): Update to 1.14.0. Change-Id: I6ebd9b4eb8fa2bca41fb7cd8672b3adef642de47
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions
c-7, gcc-10): Add 'properties' field. * gnu/packages/commencement.scm (make-gcc-toolchain): Likewise. Ludovic Courtès 2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès 2021-12-10Merge remote-tracking branch 'signed/master' into core-updatesMathieu Othacehe 2021-12-09gnu: Add gfortran-7....* gnu/packages/gcc.scm (gfortran-7): New variable. Ricardo Wurmus 2021-12-07gnu: make-gccgo: Override empty GOROOT/GCCGOTOOLDIR...gnu/packages/gcc.scm (make-gccgo)[arguments]: Set tool paths (GOROOT and GCCGOTOOLDIR) even if they are already set to "". Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Sarah Morgensen 2021-11-11gnu: gcc-5: Fix powerpc64le-linux build...GCC 5 has a misaligned access to a vector pointer which causes a build failure when using GCC 8 and later. Backport upstream fix that was applied on the GCC 6 branch. * gnu/packages/gcc.scm (gcc-5)[source]: Apply gcc-5-fix-powerpc64le-build.patch. * gnu/packages/patches/gcc-5-fix-powerpc64le-build.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Thiago Jung Bauermann 2021-08-12Merge branch 'master' into core-updates-frozen... Conflicts: gnu/packages/algebra.scm gnu/packages/games.scm gnu/packages/golang.scm gnu/packages/kerberos.scm gnu/packages/mail.scm gnu/packages/python.scm gnu/packages/ruby.scm gnu/packages/scheme.scm gnu/packages/tex.scm gnu/packages/tls.scm gnu/packages/version-control.scm Marius Bakke 2021-08-08gnu: gcc-11: Update to 11.2.0....* gnu/packages/gcc.scm (gcc-11): Update to 11.2.0. Efraim Flashner 2021-07-18Merge branch 'master' into core-updatesLudovic Courtès 2021-07-06gnu: gcc: Fix cross-compilation....This fixes cross-compilation of GCC, as in: guix build --target=aarch64-linux-gnu -e '(@ (gnu packages gcc) gcc-10)' * gnu/packages/gcc.scm (gcc-canadian-cross-objdump-snippet): New variable. (gcc-5)[source]: Use it instead of inline 'snippet'. (gcc-8)[source]: Add 'modules' and 'snippet'. (gcc-9)[source]: Likewise. (gcc-10)[source]: Likewise. (gcc-11)[source]: Likewise. Ludovic Courtès 2021-07-05gnu: custom-gcc: Update regex for removing executables....Do not match "gccgo". Match "gcov-dump" and "gcov-tool", as well as "lto-dump" (which was introduced in GCC 10). * gnu/packages/gcc.scm (custom-gcc)[arguments]: Update regex used for matching broken or conflicting executables. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Sarah Morgensen 2021-06-28gnu: Add gccgo-10....Generate gccgo with MAKE-GCCGO to factorize phases, and to fix the cyclic dependency between out and lib (caused by libgo embedding the gotools path) that was worked around in <https://issues.guix.gnu.org/18101>. * gnu/packages/gcc.scm (custom-gcc-gccgo): New procedure. (make-gccgo): New procedure. (gccgo-10): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Sarah Morgensen