aboutsummaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Collapse)Author
2017-10-22gnu: Add coq-bignums.Julien Lepiller
* gnu/packages/ocaml.scm (coq-bignums): New variable.
2017-10-22gnu: Update coq-coquelicot to 3.0.1.Julien Lepiller
* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
2017-10-22gnu: Update coq-mathcomp to 1.6.2.Julien Lepiller
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
2017-10-22gnu: Update coq-flocq to 2.6.0.Julien Lepiller
* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
2017-10-22gnu: Update coq to 8.7.0.Julien Lepiller
* gnu/packages/ocaml.scm (coq): Update to 8.7.0. [build-system]: Use ocaml-build-system. [inputs]: Add python-2. [arguments]: Disable two failing tests.
2017-10-22gnu: camlp5: install META file.Julien Lepiller
* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
2017-10-22gnu: lame: Update to 3.100.Marius Bakke
* gnu/packages/mp3.scm (lame): Update to 3.100. [source]: Don't hard-code version.
2017-10-21gnu: python-pyqt: Update to 5.9.Marius Bakke
* gnu/packages/qt.scm (python-pyqt): Update to 5.9.
2017-10-21gnu: python-sip: Update to 4.19.3.Marius Bakke
* gnu/packages/qt.scm (python-sip): Update to 4.19.3.
2017-10-21gnu: rest: Update to 0.8.1.Tobias Geerinckx-Rice
* gnu/packages/gnome.scm (rest): Update to 0.8.1.
2017-10-21gnu: gnome-disk-utility: Update to 3.26.1.Tobias Geerinckx-Rice
* gnu/packages/gnome.scm (gnome-disk-utility): Update to 3.26.1. [build-system]: Use meson-build-system. [native-inputs]: Add gtk+:bin.
2017-10-21gnu: perl-geo-ip: Update to 1.51.Tobias Geerinckx-Rice
* gnu/packages/networking.scm (perl-geo-ip): Update to 1.51.
2017-10-21Use HTTPS for bioconductor.org.Tobias Geerinckx-Rice
* doc/guix.texi (Invoking guix import, Invoking guix refresh): Use HTTPS for bioconductor.org URLs. * gnu/packages/bioinformatics.scm (r-annotate, r-geneplotter, r-genefilter) (r-deseq2, r-dexseq, r-annotationforge, r-rbgl, r-gseabase, r-category) (r-gostats, r-shortread, r-biocgenerics, r-biocinstaller, r-biocviews) (r-biocstyle, r-bioccheck, r-s4vectors, r-iranges, r-genomeinfodbdata) (r-genomeinfodb, r-xvector, r-genomicranges, r-biobase, r-annotationdbi) (r-biomart, r-biocparallel, r-biostrings, r-rsamtools, r-delayedarray) (r-summarizedexperiment, r-genomicalignments, r-rtracklayer) (r-genomicfeatures, r-graph, r-topgo, r-bsgenome, r-impute, r-seqpattern) (r-seqlogo, r-motifrg, r-bamsignals, r-mutationalpatterns, r-tximport) (r-rhdf5, r-chipseq, r-sva, r-affy, r-vsn, r-mzid, r-msnid) (r-interactivedisplaybase, r-annotationhub)[home-page]: Likewise. * gnu/packages/bioinformatics.scm (r-txdb-hsapiens-ucsc-hg19-knowngene) (r-go-db, r-bsgenome-hsapiens-1000genomes-hs37d5, r-org-hs-eg-db) (r-org-ce-eg-db, r-org-dm-eg-db, r-org-mm-eg-db) (r-bsgenome-hsapiens-ucsc-hg19, r-bsgenome-mmusculus-ucsc-mm9) (r-bsgenome-mmusculus-ucsc-mm10, r-txdb-mmusculus-ucsc-mm10-knowngene) (r-bsgenome-celegans-ucsc-ce6, r-bsgenome-celegans-ucsc-ce10) (r-bsgenome-dmelanogaster-ucsc-dm3, r-copyhelper)[source, home-page]: Likewise. * gnu/packages/statistics.scm (r-rcurl)[source]: Likewise. * guix/build-system/r.scm (bioconductor-uri): Likewise. * guix/import/cran.scm (%cran-url, bioconductor-package?) (bioconductor-data-package?, bioconductor-experiment-package?): Likewise.
2017-10-21gnu: schismtracker: Update to 20170910.Kei Kebreau
* gnu/packages/music.scm (schismtracker): Update to 20170910.
2017-10-20gnu: Fix the hashes of mutated GitHub archives.Maxim Cournoyer
Fixes <https://bugs.gnu.org/28745>. * gnu/packages/audio.scm (csound): Fix hash. * gnu/packages/engineering.scm (fritzing): Likewise. * gnu/packages/erlang.scm (erlang): Likewise. * gnu/packages/fonts.scm (font-google-material-design-icons): Likewise. * gnu/packages/graphics.scm (ogre): Likewise. * gnu/packages/java.scm (java-plexus-interpolation, antlr3): Likewise. * gnu/packages/serialization.scm (yaml-cpp): Likewise. * gnu/packages/version-control.scm (libgit2): Likewise. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-20gnu: libvirt: Fix CVE-2017-1000256.Leo Famulari
* gnu/packages/patches/libvirt-CVE-2017-1000256.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/virtualization.scm (libvirt)[source]: Use it.
2017-10-20gnu: mysql: Update to 5.7.20.Leo Famulari
* gnu/packages/databases.scm (mysql): Update to 5.7.20.
2017-10-20gnu: webkitgtk: Update to 2.18.1.Leo Famulari
* gnu/packages/webkit.scm (webkitgtk): Update to 2.18.1.
2017-10-20gnu: youtube-dl: Update to 2017.10.20.Tobias Geerinckx-Rice
* gnu/packages/video.scm (youtube-dl): Update to 2017.10.20.
2017-10-20gnu: dovecot: Update to 2.2.33.2.Tobias Geerinckx-Rice
* gnu/packages/mail.scm (dovecot): Update to 2.2.33.2.
2017-10-20gnu: ola: Build with protobuf@2.Tobias Geerinckx-Rice
This follows up commit dd12d4aad02fc83e00e7b09d676aa78bcb7dd476. * gnu/packages/protobuf.scm (protobuf-2): New variable. * gnu/packages/lighting.scm (ola)[propagated-inputs]: Use it.
2017-10-20gnu: font-hack: Update to 3.000.Tobias Geerinckx-Rice
* gnu/packages/fonts.scm (font-hack): Update to 3.000. [source]: Download from new account. [license]: Explicitly list all licences.
2017-10-20gnu: Add aegisub.Julien Lepiller
* gnu/packages/video.scm (aegisub): New variable.
2017-10-20gnu: Add ffms2.Julien Lepiller
* gnu/packages/video.scm (aegisub): New variable.
2017-10-20gnu: speexdsp: Fix building on aarch64-linux.Efraim Flashner
* gnu/packages/xiph.scm (speexdsp)[arguments]: On aarch64-linux, disable neon optimisations.
2017-10-20gnu: Add emacs-json-snatcher.Oleg Pykhalov
* gnu/packages/emacs.scm (emacs-json-snatcher): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-20gnu: shellcheck: Update to 0.4.6.ng0
* gnu/packages/haskell.scm (shellcheck): Update to 0.4.6. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-20gnu: dos2unix: Update to 7.4.0.Tobias Geerinckx-Rice
* gnu/packages/textutils.scm (dos2unix): Update to 7.4.0.
2017-10-20gnu: cowsay: Swap ‘build’ and ‘install’ phases.Tobias Geerinckx-Rice
* gnu/packages/games.scm (cowsay)[arguments]: Invoke ‘install.sh’ during the ‘install’ phase. Delete the ‘build’ phase, as there's nothing to be built.
2017-10-20gnu: cowsay: Update to 3.04.Tobias Geerinckx-Rice
* gnu/packages/games.scm (cowsay): Update to 3.04. [source]: Download from new location. [home-page]: Point directly to the relevant page. [description]: Correct mark-up and expand slightly.
2017-10-20gnu: colordiff: Use HTTPS home page.Tobias Geerinckx-Rice
* gnu/packages/patchutils.scm (colordiff)[home-page]: Use HTTPS.
2017-10-20gnu: unbound: Update to 1.6.7.Tobias Geerinckx-Rice
* gnu/packages/dns.scm (unbound): Update to 1.6.7.
2017-10-20gnu: neofetch: Update to 3.3.0.Tobias Geerinckx-Rice
* gnu/packages/admin.scm (neofetch): Update to 3.3.0. [arguments]: Add ‘install’ phase replacement that manually invokes make.
2017-10-20gnu: qtox: Update to 1.12.1.Tobias Geerinckx-Rice
* gnu/packages/messaging.scm (qtox): Update to 1.12.1.
2017-10-20gnu: speedtest-cli: Update to 1.0.7.Tobias Geerinckx-Rice
* gnu/packages/networking.scm (speedtest-cli): Update to 1.0.7.
2017-10-20gnu: cppcheck: Update to 1.81.Tobias Geerinckx-Rice
* gnu/packages/check.scm (cppcheck): Update to 1.81.
2017-10-19gnu: python-sge-pygame: Update source URL.Kei Kebreau
* gnu/packages/game-development.scm (python-sge-pygame)[source]: Update URL.
2017-10-19gnu: musl: Update to 1.1.17.Leo Famulari
* gnu/packages/musl.scm (musl): Update to 1.1.17. [source]: Remove patch. * gnu/packages/patches/musl-CVE-2016-8859.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it.
2017-10-19vm: Always use GRUB/i386.Ludovic Courtès
Fixes <https://bugs.gnu.org/28768>. Reported by Oleg Pykhalov <go.wigust@gmail.com>. * gnu/system/vm.scm (virtualized-operating-system): Override the 'bootloader' field.
2017-10-19gnu: linux-libre: Update to 4.13.8.Mark H Weaver
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.13.8. (%linux-libre-hash): Update hash.
2017-10-19gnu: linux-libre@4.9: Update to 4.9.57.Mark H Weaver
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.57.
2017-10-19gnu: linux-libre@4.4: Update to 4.4.93.Mark H Weaver
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.93.
2017-10-19gnu: linux-libre@4.1: Update to 4.1.45.Mark H Weaver
* gnu/packages/linux.scm (linux-libre-4.1): Update to 4.1.45. Remove patch that is now included upstream.
2017-10-19gnu: yadifa: Update to 2.2.6.Marius Bakke
* gnu/packages/dns.scm (yadifa): Update to 2.2.6.
2017-10-19gnu: Add zathura-pdf-mupdf.Marius Bakke
* gnu/packages/pdf.scm (zathura-pdf-mupdf): New variable.
2017-10-19gnu: qemu: Build with libjpeg-turbo.Marius Bakke
This gets rid of a compile warning since SPICE uses libjpeg-turbo, and reduces the closure size by 0.8MiB. * gnu/packages/virtualization.scm (qemu)[inputs]: Replace LIBJPEG-8 with LIBJPEG-TURBO.
2017-10-19gnu: emacs: Fix Man default C header file search path.Oleg Pykhalov
* gnu/packages/emacs.scm (emacs): Make sure Man looks for C header files in the right places. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-19gnu: speex: Build and install 'speexdec' and 'speexenc'.宋文武
* gnu/packages/xiph.scm (speex)[native-inputs]: Add 'pkg-config'. [inputs]: Add 'speexdsp'. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-19gnu: virt-manager: Fix default URI check.Andy Patterson
Allows virt-manager to connect to qemu://system by default. * gnu/packages/virtualization.scm (virt-manager)[arguments]<#:phases>: Add 'fix-default-uri. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-19gnu: virt-manager: Enable statistics graphing support.Andy Patterson
* gnu/packages/virtualization.scm (virt-manager)[inputs]: Add python2-pycairo. Signed-off-by: Ludovic Courtès <ludo@gnu.org>