| Age | Commit message (Expand) | Author |
|---|
| 2017-10-22 | gnu: Update coq-interval to 3.3.0....* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
| Julien Lepiller |
| 2017-10-22 | gnu: Add coq-bignums....* gnu/packages/ocaml.scm (coq-bignums): New variable.
| Julien Lepiller |
| 2017-10-22 | gnu: Update coq-coquelicot to 3.0.1....* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
| Julien Lepiller |
| 2017-10-22 | gnu: Update coq-mathcomp to 1.6.2....* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
| Julien Lepiller |
| 2017-10-22 | gnu: Update coq-flocq to 2.6.0....* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
| Julien Lepiller |
| 2017-10-22 | gnu: 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-22 | gnu: camlp5: install META file....* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
| Julien Lepiller |
| 2017-10-22 | gnu: lame: Update to 3.100....* gnu/packages/mp3.scm (lame): Update to 3.100.
[source]: Don't hard-code version.
| Marius Bakke |
| 2017-10-21 | gnu: python-pyqt: Update to 5.9....* gnu/packages/qt.scm (python-pyqt): Update to 5.9.
| Marius Bakke |
| 2017-10-21 | gnu: python-sip: Update to 4.19.3....* gnu/packages/qt.scm (python-sip): Update to 4.19.3.
| Marius Bakke |
| 2017-10-21 | gnu: rest: Update to 0.8.1....* gnu/packages/gnome.scm (rest): Update to 0.8.1.
| Tobias Geerinckx-Rice |
| 2017-10-21 | gnu: 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-21 | gnu: perl-geo-ip: Update to 1.51....* gnu/packages/networking.scm (perl-geo-ip): Update to 1.51.
| Tobias Geerinckx-Rice |
| 2017-10-21 | Use 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-21 | gnu: schismtracker: Update to 20170910....* gnu/packages/music.scm (schismtracker): Update to 20170910.
| Kei Kebreau |
| 2017-10-20 | gnu: 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-20 | gnu: 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-20 | gnu: mysql: Update to 5.7.20....* gnu/packages/databases.scm (mysql): Update to 5.7.20.
| Leo Famulari |
| 2017-10-20 | gnu: webkitgtk: Update to 2.18.1....* gnu/packages/webkit.scm (webkitgtk): Update to 2.18.1.
| Leo Famulari |
| 2017-10-20 | gnu: youtube-dl: Update to 2017.10.20....* gnu/packages/video.scm (youtube-dl): Update to 2017.10.20.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: dovecot: Update to 2.2.33.2....* gnu/packages/mail.scm (dovecot): Update to 2.2.33.2.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: 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-20 | gnu: 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-20 | gnu: Add aegisub....* gnu/packages/video.scm (aegisub): New variable.
| Julien Lepiller |
| 2017-10-20 | gnu: Add ffms2....* gnu/packages/video.scm (aegisub): New variable.
| Julien Lepiller |
| 2017-10-20 | gnu: speexdsp: Fix building on aarch64-linux....* gnu/packages/xiph.scm (speexdsp)[arguments]: On aarch64-linux, disable
neon optimisations.
| Efraim Flashner |
| 2017-10-20 | gnu: 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-20 | gnu: 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-20 | gnu: dos2unix: Update to 7.4.0....* gnu/packages/textutils.scm (dos2unix): Update to 7.4.0.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: 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-20 | gnu: 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-20 | gnu: colordiff: Use HTTPS home page....* gnu/packages/patchutils.scm (colordiff)[home-page]: Use HTTPS.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: unbound: Update to 1.6.7....* gnu/packages/dns.scm (unbound): Update to 1.6.7.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: 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-20 | gnu: qtox: Update to 1.12.1....* gnu/packages/messaging.scm (qtox): Update to 1.12.1.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: speedtest-cli: Update to 1.0.7....* gnu/packages/networking.scm (speedtest-cli): Update to 1.0.7.
| Tobias Geerinckx-Rice |
| 2017-10-20 | gnu: cppcheck: Update to 1.81....* gnu/packages/check.scm (cppcheck): Update to 1.81.
| Tobias Geerinckx-Rice |
| 2017-10-19 | gnu: python-sge-pygame: Update source URL....* gnu/packages/game-development.scm (python-sge-pygame)[source]: Update URL.
| Kei Kebreau |
| 2017-10-19 | gnu: 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-19 | vm: 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-19 | gnu: 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-19 | gnu: 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-19 | gnu: 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-19 | gnu: 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-19 | gnu: yadifa: Update to 2.2.6....* gnu/packages/dns.scm (yadifa): Update to 2.2.6.
| Marius Bakke |
| 2017-10-19 | gnu: Add zathura-pdf-mupdf....* gnu/packages/pdf.scm (zathura-pdf-mupdf): New variable.
| Marius Bakke |
| 2017-10-19 | gnu: 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 |
| 2017-10-19 | gnu: emacs: Fix Man default C header file search path....* 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>
| Oleg Pykhalov |
| 2017-10-19 | gnu: 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-19 | gnu: virt-manager: Fix default URI check....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>
| Andy Patterson |
