Commit graph

16844 commits

Author SHA1 Message Date
Nikolay Amiantov
f0564ae299 cb2bib: don't use qt.full 2017-02-03 18:21:15 +03:00
Nikolay Amiantov
2c7e3f276d keepassx-community: don't use qt.full 2017-02-03 18:21:15 +03:00
Nikolay Amiantov
c7d7ad1d9f qjackctl: don't use qt.full 2017-02-03 18:21:14 +03:00
Joachim F
f7577b8c8c Merge pull request #22391 from polynomial/opera
opera: 41.0.2353.56 -> 42.0.2393.517
2017-02-03 15:45:44 +01:00
Vladimír Čunát
2ba076e99c
Merge branch 'master' into staging
>11k more build jobs on master, just for Linux :-/
This way staging will never catch up.
2017-02-03 15:32:08 +01:00
Michael Raskin
47127e6951 libreoffice-fresh: 5.2.4.2 -> 5.3.0.3 2017-02-03 13:16:25 +01:00
Michael Raskin
58711ecf0c libreoffice-still: 5.1.6.2 -> 5.2.5.1 (branch switch upstream) 2017-02-03 13:14:39 +01:00
Michael Raskin
14ed123a40 libreoffice-srcs-additions.json: some files are in /extern/ 2017-02-03 13:14:39 +01:00
Michael Raskin
c20f5102eb generate-libreoffice-srcs: support jars as well as tarballs 2017-02-03 13:14:39 +01:00
Vladimír Čunát
adab4cd58b
Merge branch 'master' into staging 2017-02-03 11:47:38 +01:00
Benjamin Staffin
ba881f1b5a Merge pull request #22384 from xwvvvvwx/update_vscode
vscode: 1.8.1 -> 1.9.0
2017-02-03 02:33:06 -05:00
Benjamin Staffin
1d3364ed74 Merge pull request #22383 from bachp/virtualbox-5.1.14
Virtualbox 5.1.14
2017-02-03 02:26:09 -05:00
Benjamin Smith
55e85a162a opera: 41.0.2353.56 -> 42.0.2393.517 2017-02-02 18:01:02 -08:00
Nikolay Amiantov
a14217ec6e Merge pull request #22392 from avnik/update/zathura-mupdf
zathura-pdf-mupdf: 0.3.0 -> 0.3.2
2017-02-03 04:20:21 +03:00
Joachim F
2b961075ae Merge pull request #22231 from Ma27/hotfix/update-geogebra
geogebra: 5.0.271.0 -> 5-0-320-0
2017-02-03 01:13:07 +01:00
Cray Elliott
6b44f3523a doomseeker: fix invalid substitution via sed 2017-02-02 15:34:47 -08:00
Alexander V. Nikolaev
6251b314e7 zathura-pdf-mupdf: 0.3.0 -> 0.3.2
(version compatible with mupdf 1.10a)
2017-02-03 01:04:38 +02:00
David Terry
dbda1c4331 vscode: 1.8.1 -> 1.9.0 2017-02-02 21:31:28 +01:00
Edward Tjörnhammar
62dc683096
kodiPlugins: updates
* Added exodus in favour of genesis, same developer and old plugin is dead
  * Added gamepad(controllers) inputs as enableControllers
  * Updated SVTPlay, HyperLauncher
  * Removed SALTS, doesn't work without a FHS
2017-02-02 21:12:55 +01:00
Carles Pagès
d211d7c440
kodiPlugins.pvr-hts: update to 3.4.4 for kodi17
Updated pvr-hts plugin to latest version to work with kodi 17. Had to
update libcec as well, to pick the name change.
2017-02-02 21:12:54 +01:00
Edward Tjörnhammar
a70b4f7b38
kodi: 16.1 -> 17.0 2017-02-02 21:12:54 +01:00
Pascal Bach
5ca3a7e56f virtualbox: remove upstream-info.json as it is no longer used
We keep the script as it might be useful in the future.
2017-02-02 21:11:08 +01:00
Pascal Bach
599df5e108 virtualbox: 5.1.10 -> 5.1.14 2017-02-02 21:10:01 +01:00
Robin Gloster
bd3ac6938b
claws-mail: 3.14.0 -> 3.14.1 2017-02-02 19:19:28 +01:00
Robin Gloster
756bcc3d95
moonlight-embedded: 2.2.1 -> 2.2.3 2017-02-02 19:04:01 +01:00
Joachim F
a3a09ee687 Merge pull request #22371 from mdorman/emacs-updates
Automated emacs package updates
2017-02-02 15:53:30 +01:00
Michael Alan Dorman
711a22096c melpa-packages: 2017-02-01
Removals:
  meacupla-theme - removed from melpa
  rustfmt - removed from melpa
  ttrss - removed from melpa
2017-02-02 08:06:43 -05:00
Michael Alan Dorman
89cbe137c3 melpa-stable-packages: 2017-02-01
Removals:
  ttrss - removed from melpa
2017-02-02 08:06:43 -05:00
Michael Alan Dorman
98f8cd6017 elpa-packages: 2017-02-01 2017-02-02 08:06:42 -05:00
Matthew Maurer
b3e6bdbae5 chromium: 55.0.2883.87 -> 56.0.2924.76 2017-02-02 11:26:25 +01:00
Franz Pletz
4dae4f86fa
imagemagick: 7.0.4-0 -> 7.0.4-6 for multiple CVEs
Fixes at least:

  * CVE-2016-10144
  * CVE-2016-10145
  * CVE-2016-10146
  * CVE-2017-5506
  * CVE-2017-5507
  * CVE-2017-5508
  * CVE-2017-5510
  * CVE-2017-5511
2017-02-02 11:10:56 +01:00
Franz Pletz
5e753c1a65
imagemagick: 6.9.7-0 -> 6.9.7-6 for multiple CVEs
Fixes at least:

  * CVE-2016-10144
  * CVE-2016-10145
  * CVE-2016-10146
  * CVE-2017-5506
  * CVE-2017-5507
  * CVE-2017-5508
  * CVE-2017-5510
  * CVE-2017-5511
2017-02-02 11:09:40 +01:00
Michael Raskin
c7ad684ab5 mcabber: 1.0.4 -> 1.0.5 2017-02-02 11:12:16 +01:00
Lancelot SIX
ead62a7f84 Merge pull request #22363 from paperdigits/darktable-223
darktable 2.2.1 -> 2.2.3

Tested locally.
2017-02-02 10:54:43 +01:00
Lluís Batlle
8389060731 Updating shotcut to 17.02. 2017-02-02 10:25:47 +01:00
goibhniu
8605cdc898 Merge pull request #22207 from league/vokoscreen
vokoscreen: init at 2.5.0
2017-02-02 09:51:44 +01:00
Gabriel Ebner
311ec6abd5 Merge pull request #22361 from peterhoeg/u/crunch
speedcrunch: 0.11 -> 0.12.0
2017-02-02 07:54:06 +01:00
Mica Semrick
c64934529e darktable 2.2.1 -> 2.2.3 2017-02-01 22:50:35 -08:00
Rongcui Dong
7ea20c9e27 ngspice: 25 -> 26 2017-02-02 07:42:26 +01:00
Drakonis
15bc80f3b9
keepassx-community: init at 2.1.0
- deprecating keepassx-reboot (was at 2.0.3)
2017-02-01 21:21:34 -05:00
Peter Hoeg
3d16d69b40 qgit: 2.5 -> 2.6 (#22360)
Also:

 - build the qt5 version by default instead of qt4
 - use cmake
2017-02-02 02:55:47 +01:00
Peter Hoeg
58a5d0783e speedcrunch: 0.11 -> 0.12.0
Also:
  - build against qt5 instead of qt4
2017-02-02 09:13:54 +08:00
Daiderd Jordan
29844c66fa Merge pull request #22339 from vdemeester/docker-machine_0_9_0
docker-machine: 0.8.1 -> 0.9.0
2017-02-01 22:26:34 +01:00
Daiderd Jordan
ed7dc9cf92 Merge pull request #22331 from pradeepchhetri/nomad
nomad: 0.5.3 -> 0.5.4
2017-02-01 21:53:44 +01:00
Gabriel Ebner
ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
Michael Raskin
ea5c83daa2 mupdf: 1.9a -> 1.10a 2017-02-01 19:28:44 +01:00
Vladimír Čunát
a2e7770b51
Merge branch 'master' into staging
There have been some larger security rebuilds on master.
2017-02-01 15:56:35 +01:00
Pradeep Chhetri
93392fb666 nomad: 0.5.3 -> 0.5.4 2017-02-01 19:39:48 +05:30
Vincent Demeester
d1ca0ade53 docker-machine: 0.8.1 -> 0.9.0
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2017-02-01 11:08:13 +01:00
Peter Hoeg
887590e1d2 wireshark: use cmake and move to gtk3/qt5
wireshark used to use autotools, but instead we now use cmake. The
change alone brought to light a few missing required dependencies.

Additionally, wireshark was using gtk2 and qt4, so that has changed to
gtk3 and qt5.
2017-01-31 21:20:12 +01:00
Vincent Laporte
551c52f1a2 feh: 2.17.1 -> 2.18.1 2017-01-31 20:11:32 +00:00
Thomas Tuegel
fa1e8ffa76
spotify: 1.0.47 -> 1.0.48 2017-01-31 10:34:47 -06:00
Franz Pletz
53bfe0cafe
bitlbee: 3.5 -> 3.5.1 for multiple CVEs
Fixes:

  * CVE-2016-10188
  * CVE-2016-10189
  * CVE-2017-5668
2017-01-31 16:57:57 +01:00
Vladimír Čunát
557fd03926
Merge #22310: Remove myself from maintainers 2017-01-31 14:56:24 +01:00
Peter Hoeg
338dcba251 krename-qt5: init at 20161228
Upstream hasn't made a proper release based on qt5/kf5, so I'm adding this
package in addition to the kde4 based package instead of replacing it.
2017-01-31 20:36:11 +08:00
Matthias Beyer
904bcb391d
yaft: init at 0.2.9 2017-01-31 13:20:26 +01:00
Damien Cassou
58dc8e3024
Remove myself from maintainers 2017-01-31 11:00:14 +01:00
Matthias Beyer
3ccc139b3d cataract: init at 1.1.0 and HEAD 2017-01-31 09:20:08 +00:00
Vladimír Čunát
01751a9447
Merge #22309: vim: allow building with gtk3 2017-01-31 09:41:24 +01:00
Orivej Desh
d409d23945 pidgin-xmpp-receipts: init at 0.7 2017-01-31 09:33:30 +01:00
Benjamin Staffin
3dd2a271ef vim: make it possible to build with --enable-gui=gtk3
This doesn't change any defaults; I suspect that dropping gtk2 support
would annoy some people so I didn't want to do that without asking
around first.
2017-01-31 02:17:11 -05:00
Nikolay Amiantov
db99892817 treewide: quote homepages in my packages 2017-01-31 03:27:10 +03:00
Nikolay Amiantov
e734f044ab tdesktop: 1.0.0 -> 1.0.2 2017-01-31 03:27:10 +03:00
Nikolay Amiantov
7b1cbd0dcb slade: 3.1.1.4 -> 3.1.1.5 2017-01-31 03:27:09 +03:00
Nikolay Amiantov
e89f6e3a7c octoprint-plugins.m33-fio: 1.11 -> 1.17 2017-01-31 03:27:09 +03:00
Nikolay Amiantov
d19b83e32b octoprint: 1.2.17 -> 1.3.1
Bundled dependencies:
tornado: 4.0.1 -> 4.0.2
flask_login: 0.4.0 -> 0.2.2
2017-01-31 03:27:09 +03:00
Nikolay Amiantov
82d9c2e3fb krita: 3.0.1.1 -> 3.1.1 2017-01-31 03:27:08 +03:00
Franz Pletz
e07f1f2066
gitlab: 8.16.1 -> 8.16.3 2017-01-30 21:40:18 +01:00
Pradeep Chhetri
e8df68673c nomad: 0.4.1 -> 0.5.3 2017-01-31 00:56:27 +05:30
Vladimír Čunát
9cd2dbc569
Merge branch 'master' into staging
Hopefully this will fix the mass abortion on Hydra;
restarting the jobs didn't help.
2017-01-30 18:39:36 +01:00
Eelco Dolstra
c20cc6d0b3
Excise use of importJSON
Putting information in external JSON files is IMHO not an improvement
over the idiomatic style of Nix expressions. The use of JSON doesn't
add anything over Nix expressions (in fact it removes expressive
power). And scattering package info over lots of little files makes
packages less readable over having the info in one file.
2017-01-30 11:44:08 +01:00
Orivej Desh
e2f7d68d73 telegram-purple: 2016-03-17 -> 1.3.0 2017-01-30 06:02:26 +00:00
Franz Pletz
c2257506ae
weechat: 1.6 -> 1.7 2017-01-30 04:13:16 +01:00
Franz Pletz
f68b7be364
brackets: 1.7 -> 1.8 2017-01-30 01:16:26 +01:00
Franz Pletz
0adf664210
neomutt: 20161126 -> 20170128 2017-01-30 01:16:18 +01:00
Franz Pletz
eadb9ce15f
notmuch: 0.23.4 -> 0.23.5 2017-01-30 01:16:15 +01:00
Joachim F
9f9f983913 Merge pull request #22251 from gnidorah/rambox
rambox: 0.4.5 -> 0.5.3
2017-01-29 23:13:59 +01:00
Benjamin Saunders
b02681a3d2 purple-hangouts-hg: 2016-10-01 -> 2016-12-22 2017-01-29 23:12:33 +01:00
Peter Simons
456b9f849d Merge pull request #22219 from Hodapp87/master
RStudio: Optionally allow packages from custom R environment
2017-01-29 21:13:58 +01:00
Thomas Tuegel
76985ad2a7 Merge pull request #22245 from ttuegel/dropbox-grsecurity
dropbox: use `paxmark m` to fix Dropbox when grsecurity enabled
2017-01-29 13:04:23 -06:00
Graham Christensen
96f242b8a7 Merge pull request #22266 from ttuegel/firefox-bin-hashes
firefox-bin: update hashes for 51.0.1
2017-01-29 12:24:32 -05:00
Robin Gloster
be08ada0e5 Merge pull request #22272 from rycee/bump/git-hub
git-hub: 0.10 -> 0.11.0
2017-01-29 17:26:57 +01:00
Peter Hoeg
5867045469 terragrunt: 0.9.3 -> 0.9.6 2017-01-29 17:12:57 +01:00
Robert Helgesson
41a0d05872
git-hub: 0.10 -> 0.11.0
Includes fixes for CVE-2016-7793 and CVE-2016-7794.
2017-01-29 17:04:57 +01:00
Tom Doggett
fe6c4eb8e6
gcalcli: init at 3.4.0 2017-01-29 17:00:05 +01:00
Thomas Tuegel
ca7a4ec552
firefox-bin: update hashes for 51.0.1 2017-01-29 08:44:18 -06:00
Robin Gloster
2fdfb123a0
Revert "qgis: enableParallelBuilding"
This reverts commit 632934862b.

Still sometimes fails on hydra
2017-01-29 15:20:07 +01:00
Lenz Weber
eba33cbf54 rambox: 0.4.5 -> 0.5.3 2017-01-29 10:34:17 +03:00
Tuomas Tynkkynen
424cfe7686 Merge remote-tracking branch 'upstream/master' into staging 2017-01-29 02:16:29 +02:00
Thomas Tuegel
a903c9c8e3
dropbox: use paxmark m to fix Dropbox when grsecurity enabled 2017-01-28 17:40:04 -06:00
Lluís Batlle i Rossell
8d5b2e66bd Updating shotcut to 17.01 and fixing its jobs 2017-01-28 20:12:51 +01:00
Lluís Batlle i Rossell
91686f2d37 Add fixed cinelerra
I don't know what version to choose
2017-01-28 20:12:51 +01:00
Lluís Batlle i Rossell
20465bedee Updating shotcut and melt. 2017-01-28 20:12:51 +01:00
Lluís Batlle i Rossell
aeb1dff13d Update scantailor 2017-01-28 20:12:51 +01:00
Maximilian Bosch
eda5bca00a geogebra: 5.0.271.0 -> 5-0-320-0 2017-01-28 17:33:20 +01:00
Vladimír Čunát
781c79182e
Merge #22220: termite: unbreak by packaging vte-ng 2017-01-28 08:56:53 +01:00
Marius Bergmann
1d6c853860 termite: unbreak by packaging vte-ng
termite broke when upgrading Gnome, as this removed a dependency from
the tree. I packaged this dependency (vte-ng) based upon the work of
@globin in https://github.com/NixOS/nixpkgs/issues/22026.
2017-01-28 01:06:24 +01:00
Chris Hodapp
7638578342 RStudio: Optionally allow packages from custom R environment
https://nixos.org/nixpkgs/manual/#r-packages contains a method for
setting up an R environment with a specific set of libraries, and it
creates an R wrapper which points R to those libraries.

The package RStudio relies on the standard R package, which then
cannot access any of the libraries specified in a custom R
environment.  While one may easily use pkgs.rstudio.override to change
rstudio's R dependency to the custom R environment, this accomplishes
nothing because while RStudio runs the correct R wrapper it clears out
the environment variable R_LIBS_SITE - and so it is still unable to
use any of those packages.

In order to work around this problem, these changes allow the user to
optionally modify rstudio's wrapper to set environment variable
R_PROFILE_USER to an R script which sets R's .libPaths(..) to point to
the same libraries; that script is generated from R_LIBS_SITE in the R
wrapper.

By default, this change has no effect.  If R is overridden to
something else, and if useRPackages is changed from its default of
false, then the change described above is made; for instance:

{
  packageOverrides = pkgs: let self = pkgs.pkgs; in
  rec {
    rEnv = pkgs.rWrapper.override {
      packages = with self.rPackages; [
        dplyr ggplot2 e1071 rpart reshape
      ];
    };
    rstudioEnv = pkgs.rstudio.override { R = rEnv; useRPackages = true; };
  };
}
2017-01-27 18:54:50 -05:00
Jascha Geerds
5213e6326c terraform: 0.8.4 -> 0.8.5 2017-01-28 00:49:13 +01:00
Christopher League
c1c7d2894d vokoscreen: init at 2.5.0
vokoscreen is an easy to use screencast creator to record educational
videos, live recordings of browser, installation, videoconferences, etc.

It uses Qt5 and ffmpeg.
2017-01-27 16:08:34 -05:00
aszlig
61b673c1f1
gajim: Enable running test suite
This is a bit more involved, because first of all, the tests aren't
distributed in the release tarball and second the test suite currently
doesn't work but there are fixes for it that get released in the next
upstream patch, so we cherry-pick the relevant commits as patches.

We now also switch to fetching the tarball directly from their GitLab
instance, because - as mentioned - it contains the tests and also
contains the icon.index file, which we already had included as a patch
and we can now drop it.

The URLs to the cherry-picked upstream commits are the following:

1f0d7387fd
491d32a2ec
46a19733d2

All of these commits are in the gajim_0.16 branch and are thus very
likely becoming part of Gajim 0.16.7.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @7c6f434c
2017-01-27 21:06:21 +01:00
Robin Gloster
aa686fe5c3
gnutls33: remove 2017-01-27 18:37:24 +01:00
Graham Christensen
625680c9fc Merge pull request #22203 from taku0/firefox-bin-51.0.1
firefox, firefox-bin: 50.1.0 -> 51.0.1
2017-01-27 08:58:59 -05:00
Graham Christensen
6a8aa5361e Merge pull request #22202 from taku0/thunderbird-bin-45.7.0
thunderbird, thunderbird-bin: 45.6.0 -> 45.7.0 [Critical security fix]
2017-01-27 08:57:10 -05:00
taku0
403cb72d9a thunderbird, thunderbird-bin: 45.6.0 -> 45.7.0 2017-01-27 22:26:45 +09:00
taku0
0dbe492ca9 firefox, firefox-bin: 50.1.0 -> 51.0.1 2017-01-27 22:26:27 +09:00
Moritz Ulrich
3842e825a7
rawtherapee: 4.2.1025 -> 5.0 2017-01-27 11:28:46 +01:00
Graham Christensen
2427ba2a39 Merge pull request #22157 from MP2E/obs_studio_update
obs-studio: 0.15.2 -> 17.0.1
2017-01-26 21:37:01 -05:00
Graham Christensen
9df33ad764 Merge pull request #22185 from nocoolnametom/rtv-1.14.1
rtv: 1.13.0 -> 1.14.1
2017-01-26 21:31:36 -05:00
Graham Christensen
f46c5b293b
qemu: 2.7 -> 2.8, drop 2.7 2017-01-26 20:23:40 -05:00
Tuomas Tynkkynen
be0e48e48f Merge remote-tracking branch 'upstream/master' into staging 2017-01-27 02:18:44 +02:00
Tom Doggett
5a3035c587 rtv: 1.13.0 -> 1.14.1 2017-01-26 15:43:19 -08:00
Cray Elliott
2f367e0af7 discord: 0.0.13 -> 0.0.1
Despite the version number confusion, this is a new version of
discord-canary, but since the build is now public/official, the version
number has been reset and the canary suffix has been dropped.

Note that this means that the executable has been renamed from
DiscordCanary to Discord
2017-01-26 23:56:11 +01:00
Vladimír Čunát
6973c7739e
Merge branch 'master' into staging
There were some larger rebuilds because of security.
2017-01-26 16:49:41 +01:00
Tim Steinbach
cc3426fdaf Merge pull request #22152 from NeQuissimus/atom_1_13_1
atom: 1.13.0 -> 1.13.1
2017-01-26 08:43:45 -05:00
Vladimír Čunát
d1f73b8546
Merge #22171: wireshark: 2.2.3 -> 2.2.4 2017-01-26 14:32:55 +01:00
Vladimír Čunát
a1af9cc1cf
gecko-mediaplayer: remove the dead project
It was breaking evaluation since 78fe72265.
2017-01-26 12:28:40 +01:00
Joachim F
fc6e20eded Merge pull request #22129 from mdorman/emacs-updates
Automated emacs package updates
2017-01-26 12:10:38 +01:00
Lancelot SIX
c99540d526
wireshark: 2.2.3 -> 2.2.4
This release fixes those security related issues:
- https://www.wireshark.org/security/wnpa-sec-2017-01.html
- https://www.wireshark.org/security/wnpa-sec-2017-02.html
2017-01-26 11:30:48 +01:00
Cray Elliott
2598d77968 obs-studio: 0.15.2 -> 17.0.1
upstream version scheme change, this is the equivalent of 0.17.1
2017-01-25 18:55:59 -08:00
Franz Pletz
78fe722656
gmtk: remove, source not available anymore 2017-01-26 03:52:49 +01:00
Franz Pletz
a8a5d3dcf8
clipgrab: 3.6.1 -> 3.6.2 2017-01-26 03:52:48 +01:00
Christoph-Simon Senjak
c84c720631 fixing gbsplay/default.nix 2017-01-26 00:41:54 +01:00
Tim Steinbach
d258f054cd
atom: 1.13.0 -> 1.13.1 2017-01-25 17:22:55 -05:00
Dan Peebles
ed83ec1b65 lkl: fix impure reference to /usr/bin/env 2017-01-25 21:30:59 +00:00
Pascal Wittmann
cedca371c8
homebank: 5.1.2 -> 5.1.3 2017-01-25 22:16:26 +01:00
Christoph-Simon Senjak
74e6aa7de6 gbsplay: init at version 2016-12-17 2017-01-25 21:59:27 +01:00
Kosyrev Serge
4f8b4069e5 quodlibet: rename to quodlibet, quodlibet-without-gst-plugins
The gst-plugin-less version is barely useful out of the box, so it is
the one that should be relegated to a less prominent spot in the namespace.
2017-01-25 21:33:55 +01:00
Peter Hoeg
0a4943a381 syncthing: 0.14.19 -> 0.14.21 2017-01-25 20:27:22 +01:00
Robin Gloster
d7b17e8b1c
edbrowse: mark as broken 2017-01-25 20:12:42 +01:00
Robin Gloster
dc52135d55
apvlv: 0.1 -> 0.1.5 2017-01-25 20:12:41 +01:00
Robin Gloster
6bc1f2f61c
ams-lv2: 1.1.0 -> 1.2.1 2017-01-25 20:12:41 +01:00
Robin Gloster
6d3f23d045
thunderbird: add patch to fix build with gcc6 2017-01-25 20:12:39 +01:00
Robin Gloster
45f1a914e8
audacity: fix build with gcc 6 2017-01-25 20:12:37 +01:00
Yorick van Pelt
2a939c4b21 streamlink: 0.0.2 -> 0.3.0 2017-01-25 19:12:49 +01:00
Vincent Laporte
d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
vbgl
635ac15845 Merge pull request #21879 from vbgl/coq-clean
Coq: minor refactoring
2017-01-25 14:05:38 +01:00
Graham Christensen
04ae7febc8
cvs: patch against CVE-2012-0804 (heap overflow) 2017-01-25 07:24:19 -05:00
Michael Alan Dorman
87a651f4e3 melpa-packages: 2017-01-24
Removals:
 - flycheck-google-cpplint: Removed from melpa
2017-01-25 06:54:18 -05:00
Michael Alan Dorman
46cf112619 melpa-stable-packages: 2017-01-24
Removals:
 - evil: tags disappeared in repository move, so no stable version
2017-01-25 06:52:36 -05:00
Michael Alan Dorman
aa9da623ff org-packages: 2017-01-24 2017-01-25 06:50:40 -05:00
Vincent Laporte
798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
Vincent Laporte
9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
Graham Christensen
129e90a422 Merge pull request #22122 from peterhoeg/u/db
dropbox: 17.4.33 -> 18.4.32
2017-01-24 20:00:00 -05:00
Joachim Fasting
0501e49695
electrum: 2.7.12 -> 2.7.18
See https://github.com/spesmilo/electrum/blob/master/RELEASE-NOTES
2017-01-25 00:58:52 +01:00
Michael Raskin
30b51af27b Merge pull request #22108 from yorickvP/master
i3status: 2.10 -> 2.11
2017-01-24 21:35:11 +00:00
Michael Raskin
9977fb86a0 Merge pull request #22111 from romildo/upd.mkvtoolnix
mkvtoolnix: 9.6.0 -> 9.8.0
2017-01-24 21:34:16 +00:00
Michael Raskin
90b2621ee3 Merge pull request #22113 from romildo/upd.jwm
jwm: 1563 -> 1575
2017-01-24 21:29:57 +00:00
romildo
b56d87c962 jwm: 1563 -> 1575 2017-01-24 19:19:34 -02:00