aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-10-22gnu: Add coq-bignums....* gnu/packages/ocaml.scm (coq-bignums): New variable. Julien Lepiller
2017-10-22gnu: Update coq-coquelicot to 3.0.1....* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1. Julien Lepiller
2017-10-22gnu: Update coq-mathcomp to 1.6.2....* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2. Julien Lepiller
2017-10-22gnu: Update coq-flocq to 2.6.0....* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0. Julien Lepiller
2017-10-22gnu: Update coq to 8.7.0....* 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. Julien Lepiller
2017-10-22gnu: camlp5: install META file....* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase. Julien Lepiller
2017-10-22gnu: lame: Update to 3.100....* gnu/packages/mp3.scm (lame): Update to 3.100. [source]: Don't hard-code version. Marius Bakke
2017-10-21gnu: python-pyqt: Update to 5.9....* gnu/packages/qt.scm (python-pyqt): Update to 5.9. Marius Bakke
2017-10-21gnu: python-sip: Update to 4.19.3....* gnu/packages/qt.scm (python-sip): Update to 4.19.3. Marius Bakke
2017-10-21gnu: rest: Update to 0.8.1....* gnu/packages/gnome.scm (rest): Update to 0.8.1. Tobias Geerinckx-Rice
2017-10-21gnu: gnome-disk-utility: Update to 3.26.1....* gnu/packages/gnome.scm (gnome-disk-utility): Update to 3.26.1. [build-system]: Use meson-build-system. [native-inputs]: Add gtk+:bin. Tobias Geerinckx-Rice
2017-10-21gnu: perl-geo-ip: Update to 1.51....* gnu/packages/networking.scm (perl-geo-ip): Update to 1.51. Tobias Geerinckx-Rice
2017-10-21Use HTTPS for bioconductor.org....* 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. Tobias Geerinckx-Rice
2017-10-21gnu: schismtracker: Update to 20170910....* gnu/packages/music.scm (schismtracker): Update to 20170910. Kei Kebreau
2017-10-20gnu: Fix the hashes of mutated GitHub archives....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> Maxim Cournoyer
2017-10-20gnu: libvirt: Fix CVE-2017-1000256....* 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. Leo Famulari
2017-10-20gnu: mysql: Update to 5.7.20....* gnu/packages/databases.scm (mysql): Update to 5.7.20. Leo Famulari
2017-10-20gnu: webkitgtk: Update to 2.18.1....* gnu/packages/webkit.scm (webkitgtk): Update to 2.18.1. Leo Famulari
2017-10-20gnu: youtube-dl: Update to 2017.10.20....* gnu/packages/video.scm (youtube-dl): Update to 2017.10.20. Tobias Geerinckx-Rice
2017-10-20gnu: dovecot: Update to 2.2.33.2....* gnu/packages/mail.scm (dovecot): Update to 2.2.33.2. Tobias Geerinckx-Rice
2017-10-20gnu: ola: Build with protobuf@2....This follows up commit dd12d4aad02fc83e00e7b09d676aa78bcb7dd476. * gnu/packages/protobuf.scm (protobuf-2): New variable. * gnu/packages/lighting.scm (ola)[propagated-inputs]: Use it. Tobias Geerinckx-Rice
2017-10-20gnu: font-hack: Update to 3.000....* gnu/packages/fonts.scm (font-hack): Update to 3.000. [source]: Download from new account. [license]: Explicitly list all licences. Tobias Geerinckx-Rice
2017-10-20gnu: Add aegisub....* gnu/packages/video.scm (aegisub): New variable. Julien Lepiller
2017-10-20gnu: Add ffms2....* gnu/packages/video.scm (aegisub): New variable. Julien Lepiller
2017-10-20gnu: speexdsp: Fix building on aarch64-linux....* gnu/packages/xiph.scm (speexdsp)[arguments]: On aarch64-linux, disable neon optimisations. Efraim Flashner
2017-10-20gnu: Add emacs-json-snatcher....* gnu/packages/emacs.scm (emacs-json-snatcher): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Oleg Pykhalov
2017-10-20gnu: shellcheck: Update to 0.4.6....* gnu/packages/haskell.scm (shellcheck): Update to 0.4.6. Signed-off-by: Ludovic Courtès <ludo@gnu.org> ng0
2017-10-20gnu: dos2unix: Update to 7.4.0....* gnu/packages/textutils.scm (dos2unix): Update to 7.4.0. Tobias Geerinckx-Rice
2017-10-20gnu: cowsay: Swap ‘build’ and ‘install’ phases....* gnu/packages/games.scm (cowsay)[arguments]: Invoke ‘install.sh’ during the ‘install’ phase. Delete the ‘build’ phase, as there's nothing to be built. Tobias Geerinckx-Rice
2017-10-20gnu: cowsay: Update to 3.04....* 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. Tobias Geerinckx-Rice
2017-10-20gnu: colordiff: Use HTTPS home page....* gnu/packages/patchutils.scm (colordiff)[home-page]: Use HTTPS. Tobias Geerinckx-Rice
2017-10-20gnu: unbound: Update to 1.6.7....* gnu/packages/dns.scm (unbound): Update to 1.6.7. Tobias Geerinckx-Rice
2017-10-20gnu: neofetch: Update to 3.3.0....* gnu/packages/admin.scm (neofetch): Update to 3.3.0. [arguments]: Add ‘install’ phase replacement that manually invokes make. Tobias Geerinckx-Rice
2017-10-20gnu: qtox: Update to 1.12.1....* gnu/packages/messaging.scm (qtox): Update to 1.12.1. Tobias Geerinckx-Rice
2017-10-20gnu: speedtest-cli: Update to 1.0.7....* gnu/packages/networking.scm (speedtest-cli): Update to 1.0.7. Tobias Geerinckx-Rice
2017-10-20gnu: cppcheck: Update to 1.81....* gnu/packages/check.scm (cppcheck): Update to 1.81. Tobias Geerinckx-Rice
2017-10-19gnu: python-sge-pygame: Update source URL....* gnu/packages/game-development.scm (python-sge-pygame)[source]: Update URL. Kei Kebreau
2017-10-19gnu: musl: Update to 1.1.17....* 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. Leo Famulari
2017-10-19download: Download a nar when a VCS checkout fails....Fixes <https://bugs.gnu.org/28709>. * guix/build/download-nar.scm: New file. * Makefile.am (MODULES): Add it. * guix/cvs-download.scm (cvs-fetch)[zlib, config.scm, modules]: New variables. [build]: Use MODULES. Add call to 'download-nar'. * guix/git-download.scm (git-fetch): Likewise. * guix/hg-download.scm (hg-fetch): Likewise. Ludovic Courtès
2017-10-19Add (guix progress)....Among other things, this removes (guix utils), (guix ui), (guix config), etc. from the closure of (guix build download), as was the case since 798648515b77507c242752457b4dc17c155bad6e. * guix/utils.scm (<progress-reporter>, call-with-progress-reporter): Move to... * guix/progress.scm: ... here. New file. * Makefile.am (MODULES): Add it. * guix/build/download.scm (current-terminal-columns) (nearest-exact-integer, duration->seconds, seconds->string) (byte-count->string, progress-bar, string-pad-middle) (rate-limited, progress-reporter/file, dump-port*) (time-monotonic): Move to progress.scm. * guix/scripts/download.scm: Adjust accordingly. * guix/scripts/substitute.scm: Likewise. Ludovic Courtès
2017-10-19download: Make 'http-fetch' public....* guix/build/download.scm (http-fetch): Remove 'file' parameter. Change to return an input port and the content-length. Make public. (url-fetch): Adjust accordingly. Ludovic Courtès
2017-10-19download: Remove old-Guile leftovers....This is a followup to 36626c556ed75219bce196ac93d148f6b9af984c. * guix/build/download.scm (http-fetch): Rename 'port-or-bv' to 'port'. Assume (port? port) is always true, and remove other branch. Ludovic Courtès
2017-10-19vm: Always use GRUB/i386....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. Ludovic Courtès
2017-10-19gnu: linux-libre: Update to 4.13.8....* gnu/packages/linux.scm (%linux-libre-version): Update to 4.13.8. (%linux-libre-hash): Update hash. Mark H Weaver
2017-10-19gnu: linux-libre@4.9: Update to 4.9.57....* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.57. Mark H Weaver
2017-10-19gnu: linux-libre@4.4: Update to 4.4.93....* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.93. Mark H Weaver
2017-10-19gnu: linux-libre@4.1: Update to 4.1.45....* gnu/packages/linux.scm (linux-libre-4.1): Update to 4.1.45. Remove patch that is now included upstream. Mark H Weaver
2017-10-19gnu: yadifa: Update to 2.2.6....* gnu/packages/dns.scm (yadifa): Update to 2.2.6. Marius Bakke
2017-10-19gnu: Add zathura-pdf-mupdf....* gnu/packages/pdf.scm (zathura-pdf-mupdf): New variable. Marius Bakke
2017-10-19gnu: qemu: Build with libjpeg-turbo....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. Marius Bakke