Commit Graph

89604 Commits

Author SHA1 Message Date
Neil Mayhew c78251f17c inetutils: Add perl to buildInputs
`whois' uses perl for various things during its build. Without it,
whois fails to build .
2017-03-06 21:05:42 -07:00
Jeff Simpson 2d0991580c slack: added missing libxkbfile dependency (#23579) 2017-03-07 03:20:46 +01:00
Rommel M. Martinez d6192e9985
emem: 0.2.29 -> 0.2.31 2017-03-06 20:45:19 -05:00
Daiderd Jordan 6f88f8ca1b
znc: 1.6.3 -> 1.6.4 2017-03-06 20:08:15 -05:00
Will Dietz 5013998b0e
ustr: Remove unhelpful 'buildTargets' value.
mkDerivation doesn't do anything with this,
and while it does become an environment variable
AFAICT that was never the intention and isn't helpful here.
2017-03-06 19:34:07 -05:00
Fernando J Pando 9f062c2c0b buildbot: 0.9.3 -> 0.9.4
- adds jwt
- adds module tests
- master.cfg as path in module
- fix systemd worker config
- builds on darwin
- tested on nixos
2017-03-07 00:45:37 +01:00
Franz Pletz d102115101 Merge pull request #23573 from LnL7/darwin-gss
gss: don't build with shishi on darwin
2017-03-07 00:31:04 +01:00
Graham Christensen 370999952c Merge pull request #23254 from mdorman/emacs-updates
Automated emacs package updates
2017-03-06 18:05:33 -05:00
Graham Christensen 85b47bbd5e
mailpile: mark as insecure, pending removal 2017-03-06 18:02:55 -05:00
Jörg Thalheim 94497a0ef3 lxcfs: 2.0.4 -> unstable-2017-03-02 2017-03-06 22:54:28 +00:00
Will Dietz 9614ebf137
coccinelle: 1.0.0-r23 -> 1.0.6
* Remove camlp4 dependency, no longer needed
* Keep pycaml to use ours over bundled version
* Enable tests for sanity (broken on darwin)
* no longer need to force specific ocaml version
* don't create python wrappers, they don't seem to be needed
* remove deprecated configure flag.
* fix spgen by removing bytecode version.
2017-03-06 17:50:11 -05:00
Robert Helgesson 747b62f909
photivo: fix build with lensfun >= 0.3 2017-03-06 17:41:16 -05:00
Graham Christensen 5054035c18 Merge pull request #23571 from rycee/remove/javasvn
javasvn: remove
2017-03-06 17:27:53 -05:00
ndowens 558751b41e
bs1770gain: 0.4.7 -> 0.4.12 2017-03-06 17:26:02 -05:00
ndowens 918a4e649d
unshield: 1.3 -> 1.4.2 2017-03-06 17:24:43 -05:00
Robert Helgesson a3e6b41d36
javasvn: remove
Upstream URL is invalid and the package has not had direct attention
since June 2006.
2017-03-06 23:07:11 +01:00
Bart Brouns abc0421c46 kdenlive: phonon-backend-vlc -> phonon-backend-gstreamer 2017-03-06 22:59:37 +01:00
Daiderd Jordan a5fcca2004
gss: don't build with shishi on darwin 2017-03-06 22:57:54 +01:00
Jörg Thalheim 2df1d3f828 purple-facebook: 2016-04-09 -> 0.9.0 2017-03-06 21:54:48 +00:00
Franz Pletz 3fa2a5dc23
youtubeDL: 2017.02.27 -> 2017.03.07 2017-03-06 22:45:29 +01:00
Tom Hunger 1a8a194186 mypy-lang: 0.4.5 -> 0.501 and rename to mypy 2017-03-06 21:29:05 +00:00
Tom Hunger 18f1127f05 typed-ast: init at 1.0.1 2017-03-06 21:29:05 +00:00
Michael Alan Dorman cc5bb40c1c melpa-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Michael Alan Dorman 192bc411b0 melpa-stable-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Michael Alan Dorman 5ff2a924c6 elpa-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Renaud 9256383bc2 lftp: 4.7.3 -> 4.7.6
Package update : minor updates and fixes 
See http://lftp.tech/news.html
2017-03-06 22:06:43 +01:00
Jörg Thalheim 46ba5acd82
dmtcp: 2.3.1 -> 2.5.0 2017-03-06 22:01:12 +01:00
Renaud 6cdff59992 tldr: 1.2.0 -> 1.3.0 (#23465) 2017-03-06 21:12:25 +01:00
Jörg Thalheim a81fed008d Merge pull request #23564 from markus1189/scalafmt-058
scalafmt: 0.5.7 -> 0.5.8
2017-03-06 21:09:20 +01:00
mimadrid eba71df6bc
sqlite3_analyzer: 3.8.10.1 -> 3.17.0
fixes #23479
2017-03-06 20:53:34 +01:00
Jörg Thalheim b10fb4624b
xapian-ruby: link against correct xapian 2017-03-06 20:24:07 +01:00
Will Dietz 37315d65a0 mendeley: 1.16.3 -> 1.17.8, multiple improvements
* don't use bundled qt
* fix link-handler script, autorun as 'normal'
* fix execution on grsec kernels
2017-03-06 13:20:00 -06:00
Ricardo Ardissone 8cbba14dbe
tome4: 1.4.6 -> 1.4.9 2017-03-06 19:43:25 +01:00
Markus Hauck 504dc9de29 scalafmt: 0.5.7 -> 0.5.8 2017-03-06 19:38:05 +01:00
Profpatsch 07bf113bbe garden-of-coloured-lights: init at 1.0.9 2017-03-06 19:37:24 +01:00
Shea Levy c1c624f077 nix-buffer: 2.3.0 -> 3.0.0 2017-03-06 11:47:32 -05:00
AndersonTorres 9ef30ce570
dvdstyler: init at 3.0.3 2017-03-06 17:36:28 +01:00
AndersonTorres 1205b27b24
wxSVG: init at 1.5.11 2017-03-06 17:36:20 +01:00
Jörg Thalheim 2e07babdd8 Merge pull request #23520 from oxij/pkg/osmcfilter
osmctools: osmfilter: init at 1.4.0
2017-03-06 17:12:22 +01:00
Jörg Thalheim 89e52a7751 Merge pull request #23521 from oxij/pkg/timidity-seq
timidity: add ALSA sequencer support
2017-03-06 17:02:25 +01:00
Jörg Thalheim e4fceee72f Merge pull request #23523 from ndowens/chuck
chuck: 1.3.5.1 -> 1.3.5.2
2017-03-06 16:50:54 +01:00
Tuomas Tynkkynen 064a1e09ad sbagen: Fix build 2017-03-06 17:13:24 +02:00
pngwjpgh 4da7f83f4e nitpick: Init at 1.1 (#23389) 2017-03-06 16:12:49 +01:00
Joachim Fasting 17d80c49fa
grsecurity: 4.9.13-201702270729 -> 201703052141 2017-03-06 15:59:30 +01:00
Anderson Torres e96a2f8450 sound-of-sorting: 0.6.5 -> 20150721 (#23549)
* sound-of-sorting: 0.6.5 -> 20150721

* sound-of-sorting: correct unstable version format
2017-03-06 15:24:40 +01:00
Bart Brouns 00ffbf060c
guitarix: remove webkit, add compile flags
as recomended by the author: https://sourceforge.net/p/guitarix/mailman/message/33688855/
2017-03-06 09:17:10 -05:00
Jörg Thalheim 6b53e5040f Merge pull request #23544 from magnetophon/hydrogen
hydrogen: 0.9.6.1 -> 0.9.7
2017-03-06 15:14:44 +01:00
Jörg Thalheim 9b20ce2a8c
wakatime: fix checksum 2017-03-06 15:10:22 +01:00
Jörg Thalheim 91d4ebe4ee Merge pull request #23546 from yurrriq/update/pkgs/tools/misc/wakatime
wakatime: 6.0.1 -> 7.0.4
2017-03-06 15:08:29 +01:00
Wei Tang 4a80a97ca9
meteor: 1.4.2.1 -> 1.4.2.3 2017-03-06 09:03:44 -05:00
Wei Tang 15ea9bcfee
meteor: 1.2.0.1 -> 1.4.2.1 2017-03-06 09:03:41 -05:00
Jörg Thalheim 7576bea49d Merge pull request #23551 from nthorne/clog-derivation
clog-cli: init at 0.9.2
2017-03-06 14:54:12 +01:00
Parnell Springmeyer 8d6fbd0578
go: 1.7 -> 1.8 2017-03-06 08:47:50 -05:00
Peter Hoeg 8ac336b539 mu: run tests 2017-03-06 21:46:25 +08:00
Peter Hoeg c6b72bfceb Merge pull request #23324 from peterhoeg/f/grc
grc: 1.9 -> 1.10.1
2017-03-06 21:42:27 +08:00
Kranium Gikos Mendoza ac61ddef8f
asterisk: use fetchsvn for vendored library 2017-03-06 08:41:23 -05:00
Jörg Thalheim d971a9bcca Merge pull request #23548 from yurrriq/update/pkgs/misc/lilypond/with-fonts
lilypond: add openlilylib-fonts and lilypond-with-fonts
2017-03-06 14:37:20 +01:00
Peter Simons 85a06d6b8d haskell-shelly: drop obsolete overrides 2017-03-06 14:35:21 +01:00
Peter Simons 1329368d82 hackage-packages.nix: automatic Haskell package set update
This update was generated by hackage2nix v2.1-2-g3de0b84 from Hackage revision
ea0774dfde.
2017-03-06 14:35:21 +01:00
Peter Simons fb5b6ddab6 hackage2nix: revert to old version of store 2017-03-06 14:35:21 +01:00
Peter Simons dd20fbe5d1 hackage2nix: disable failing builds 2017-03-06 14:35:21 +01:00
Tom Hunger 6e5eaf58a3 purescript: pin dependencies. 2017-03-06 14:35:21 +01:00
Rob Vermaas 8784b0582e
Update nixUnstable
(cherry picked from commit fce036d16443b8b9f5f02a9d2bcadc5976044dbc)
2017-03-06 13:32:56 +00:00
Vi Po 133245f961
epson-escpr: 1.6.8 -> 1.6.12
Improve documentation
2017-03-06 08:31:36 -05:00
Graham Christensen d8ee4ea699 Merge pull request #23493 from LnL7/khd
khd: 2.0.0 -> 2.1.1
2017-03-06 08:23:16 -05:00
Jörg Thalheim 550f65a0f4 Merge pull request #23517 from michalrus/devede
devede: 3.23.0 → 4.8.8
2017-03-06 14:19:50 +01:00
ndowens 55e376078a
ttylog: 0.26 -> 0.29 2017-03-06 08:18:52 -05:00
Jörg Thalheim af27d6efa7 Merge pull request #23370 from ndowens/horst
horst: git-2016-03-15 -> 5.0
2017-03-06 14:16:56 +01:00
Jörg Thalheim 2df1f41460 Merge pull request #23550 from romildo/upd.pnmixer
pnmixer: 0.7 -> 0.7.1-rc1
2017-03-06 14:13:16 +01:00
Jörg Thalheim b4c69745ab Merge pull request #23554 from womfoo/bump/monero-0.10.2.1
monero: 0.10.1 -> 0.10.2.1
2017-03-06 14:11:34 +01:00
Jörg Thalheim e8360fc533 Merge pull request #23552 from romildo/upd.greybird
greybird: 2017-02-17 -> 2017-02-26
2017-03-06 14:08:41 +01:00
Jörg Thalheim 5c83424d6e Merge pull request #23556 from lheckemann/endless-sky
endless-sky: 0.9.4 -> 0.9.6
2017-03-06 14:05:05 +01:00
Vincent Demeester 906afc7e74
delve: 0.11.0-alpha -> 0.12.1
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
2017-03-06 08:03:40 -05:00
Jörg Thalheim 74b23af6c7 Merge pull request #23553 from romildo/upd.albert
albert: 0.9.3 -> 0.9.4
2017-03-06 14:02:40 +01:00
Gauthier POGAM--LE MONTAGNER 6dd19dc4e3
yarn: 0.20.3 -> 0.21.3 2017-03-06 07:59:42 -05:00
ndowens 2ad7e759c4
driftnet: 0.7 -> 1.1.5 2017-03-06 07:58:38 -05:00
Bart Brouns 633cd69453
simplescreenrecorder: 0.3.6 -> 0.3.8 2017-03-06 07:56:33 -05:00
Jörg Thalheim b4f5bce607
android-udev-rules: 20170208 -> 20170305 2017-03-06 13:53:01 +01:00
ndowens 3686e1bbc8
ocproxy: 1.50 -> 1.60 2017-03-06 07:50:50 -05:00
ndowens 2e93988e64
yubikey-personalization: 1.17.3 -> 1.18.0 2017-03-06 07:47:53 -05:00
Niklas Thörne 8d87f8addd clog-cli: init at 0.9.2
Updated with maintainer information.
2017-03-06 13:45:39 +01:00
Kranium Gikos Mendoza e43fc06012 monero: 0.10.1 -> 0.10.2.1 2017-03-06 23:39:10 +11:00
Linus Heckemann 17015b421e endless-sky: 0.9.4 -> 0.9.6 2017-03-06 12:36:53 +00:00
Benno Fünfstück 128901e09f phonon-backend-gstreamer: don't create $out/$out/share/icons
The build system tries to update the mtime of the icons directory if
`DESTDIR` is unset. That code has bug though that does not deal well
with absolute `CMAKE_SHARE_PREFIX` resulting a double prefix bug.

Setting `DESTDIR=/` (should be a no-op) fixes this.
2017-03-06 13:25:12 +01:00
Benno Fünfstück ce355bdafa xpra: install data files to correct location in $out
The patch is no longer needed, with the wheel-based method that we use now
data_files *are* relative to the prefix.
2017-03-06 13:06:51 +01:00
Benno Fünfstück dd23d08b90 ocamlgraph: fix binary location (binaries had double prefix path)
Due to setting `DESTDIR` *and* `exec_prefix` (defaulted to `$prefix`), binaries
ended up in `$out/$out/bin` instead of just $out/bin. Not setting `DESTDIR` and adapting
the `LIBDIR` patch a little fixes this issue.
2017-03-06 12:51:03 +01:00
Benno Fünfstück 029c3f917e hhvm: fix location of include files in $out
Fixes a "double prefix" issue, where parts of the include files
for hhvm where located in `$out/$out/include` instead of `$out/include`.
2017-03-06 12:26:54 +01:00
romildo 27ffa39468 albert: 0.9.3 -> 0.9.4 2017-03-06 07:34:40 -03:00
Eric Bailey f497421e14
lilypond-with-fonts: use all fonts by default
Add a list of all fonts to openlilylib-fonts and use that as the default
fonts argument to lilypond-with-fonts.
2017-03-06 04:34:08 -06:00
Jörg Thalheim 290297ecd5 Merge pull request #23526 from oxij/pkg/speedread
speedread: init at git-2016-09-21
2017-03-06 11:26:45 +01:00
romildo 810bf85bfa greybird: 2017-02-17 -> 2017-02-26 2017-03-06 07:26:07 -03:00
Jörg Thalheim 9235c3c26b
speedread: simplify installPhase 2017-03-06 11:23:42 +01:00
Niklas Thörne ae38cdad26 clog-cli: init at 0.9.2 2017-03-06 11:15:35 +01:00
romildo cb078875dc pnmixer: 0.7 -> 0.7.1-rc1 2017-03-06 07:15:29 -03:00
ndowens 4ae0e8c9a9
flacon: 2.0.1 -> 2.1.1
fixes #23529
2017-03-06 10:46:15 +01:00
Eric Bailey bdc9589df1
lilypond: add openlilylib-fonts and lilypond-with-fonts 2017-03-06 02:16:42 -06:00
Jörg Thalheim c31c11ecef Merge pull request #23482 from rardiol/pcsxr
pcsxr: remove name conflict with zlib 1.2.9
2017-03-06 08:59:13 +01:00
Renaud f39e718cab
uriparser: 0.8.2 -> 0.8.4
Fixed the Makefile for the doc : there is no .map files to install in
this release since dot outputs images in PNG and SVG

fixes #23456
2017-03-06 08:41:47 +01:00
Jörg Thalheim 99e74e9509
alliance: mark as broken
there is no maintainer for this package and even debian looks
for a new maintainer.
2017-03-06 08:27:10 +01:00
Peter Hoeg bb867aabd2 grc: 1.9 -> 1.10.1
Additionally, grc wasn't actually working unless you copied out the config files
to your home directory because it couldn't find the default config in
/etc/grc.conf

So now we patch the program to look in the right places.

Upstream has moved to github.
2017-03-06 10:57:12 +08:00
Eric Bailey f2961da3f7
wakatime: 6.0.1 -> 7.0.4 2017-03-05 19:34:09 -06:00
Peter Hoeg 35dbe4d0f1 minikube: 0.16.0 -> 0.17.1 2017-03-06 09:03:24 +08:00
Peter Hoeg c9b4317b2d docker-machine-kvm: 0.7.0 -> 0.8.2 2017-03-06 09:03:24 +08:00
Bart Brouns bb86916487 hydrogen: 0.9.6.1 -> 0.9.7 2017-03-06 00:23:27 +01:00
Jörg Thalheim 82fda65c8a
fcron: add missing meta.platforms 2017-03-05 23:41:42 +01:00
Benno Fünfstück c0bfcdf3a6 opensc: remove obsolete DESTDIR patch
This patch was actively causing harm, because it lead to a "double prefix"
issue where the etc files were installed into $out/$out/etc instead of just
$out/etc.
2017-03-05 23:36:35 +01:00
Jörg Thalheim 2dfd8d952e Merge pull request #23542 from henrytill/racket-disable-i686
racket: disable i686 builds
2017-03-05 23:24:07 +01:00
Michael Raskin 9788dded2f Merge pull request #23516 from layus/fix-wrapFirefox-default-browser
wrapFirefox: fix default-browser update
2017-03-05 21:54:18 +00:00
Jörg Thalheim 947815f59f
fcron: 3.1.2 -> 3.2.1
fixes #23320 #23413
2017-03-05 22:41:11 +01:00
Joachim F 64138b3334 Merge pull request #23359 from ndowens/pptp
pptp: 1.8.0 -> 1.9.0
2017-03-05 21:55:04 +01:00
Joachim F bf73afe9cb Merge pull request #23355 from ndowens/sstp
sstp: 1.0.10 -> 1.0.11
2017-03-05 21:54:33 +01:00
Joachim F cf7afad1b6 Merge pull request #23326 from manveru/tmate-2-2-1
tmate: 2.2.0 -> 2.2.1
2017-03-05 21:53:45 +01:00
Joachim F 1539d94a73 Merge pull request #23317 from ndowens/logcheck
logcheck: 1.3.17 -> 1.3.18
2017-03-05 21:52:11 +01:00
Joachim F 113873b8bb Merge pull request #23533 from kevincox/emby-3.2.5
emby: 3.2.4 -> 3.2.5
2017-03-05 21:50:33 +01:00
ndowens b478df1349 openresolv: 3.8.1 -> 3.9.0 (#23362) 2017-03-05 21:49:48 +01:00
Joachim F d05f802cc5 Merge pull request #23429 from clemensmanert/update-mate-1.17.0
mate-common: update 1.16 -> 1.17
2017-03-05 21:48:02 +01:00
Joachim F 58bb4bafa5 Merge pull request #23476 from jensbin/corebird_missing_glib-networking
corebird: missing dependencies (glib_networking)
2017-03-05 21:38:27 +01:00
Bjørn Forsman 5f1398ce13 borgbackup: 1.0.9 -> 1.0.10 2017-03-05 21:14:59 +01:00
Vladimír Čunát 8bcbd4fca3
Merge #22562: xfce4-mailwatch-plugin: init at 1.2.0 2017-03-05 21:11:32 +01:00
Matthias Beyer 20c2f51967 xfce4-mpc-plugin: init at 0.4.5 (#22560) 2017-03-05 21:07:59 +01:00
Matthias Beyer 21c51c570e xfce-timer-plugin: init at 1.6.0 (#22563) 2017-03-05 21:06:25 +01:00
Peter Simons e9265d3c33 Merge pull request #23538 from ljli/fix-dependent-map
haskell: ghc710x packages: fix dependent-map
2017-03-05 20:57:41 +01:00
Henry Till 6ed6731e36 racket: disable i686 builds
ref #23253
2017-03-05 14:51:48 -05:00
Tomas Hlavaty 079c306c6e openshot-qt: remove myself from the maintainer list 2017-03-05 20:47:24 +01:00
ndowens 2ddcbcfe62 xdo: 0.5.3 -> 0.5.5 (#23415) 2017-03-05 19:05:43 +01:00
Michiel Leenaars b5bb83b273
sha1collisiondetection: init at 1.0.1
Closes https://github.com/NixOS/nixpkgs/pull/23114
2017-03-05 18:59:28 +01:00
Leon Isenberg 2b174d5114 haskell: ghc710x packages: fix dependent-map 2017-03-05 18:31:55 +01:00
Jörg Thalheim ceb85af967 Merge pull request #23527 from frlan/Update/Geany/1.30
Geany: 1.29 -> 1.30
2017-03-05 18:11:03 +01:00
Jörg Thalheim e534b358ce Merge pull request #23528 from ndowens/easytag
easytag: 2.4.1 -> 2.4.3
2017-03-05 18:01:50 +01:00
Jörg Thalheim b97c143274 Merge pull request #23531 from ljli/hasklig-update
hasklig: 0.9 -> 1.1
2017-03-05 17:55:26 +01:00
Kevin Cox 55e213c558
emby: 3.2.4 -> 3.2.5 2017-03-05 16:36:38 +00:00
Jörg Thalheim 28526c571d Merge pull request #23530 from ndowens/fmit
fmit: 1.1.8 -> 1.1.11
2017-03-05 17:31:16 +01:00
Leon Isenberg 691b3bcd77 haskellPackages: fix dangling references
haskeline_0_7_2_1 -> haskline_0_7_3_1
terminfo_0_4_0_1 -> terminfo_0_4_0_2
2017-03-05 16:45:31 +01:00
ndowens 517efd1c8d fmit: 1.1.8 -> 1.1.11 2017-03-05 09:43:23 -06:00
ndowens 82594b3cc2 easytag: 2.4.1 -> 2.4.3 2017-03-05 09:16:24 -06:00
Jan Malakhovski 27367d6347 speedread: init at git-2016-09-21 2017-03-05 15:07:22 +00:00
Jan Malakhovski 8698782554 kiwix: fix the build by using custom ctpp2 2017-03-05 15:02:07 +00:00
Jan Malakhovski 659fb3b757 kiwix: refactor expression, push pugixml into its own derivation 2017-03-05 15:02:07 +00:00
Frank Lanitz 69ca4dec31 Geany: 1.29 -> 1.30 2017-03-05 15:53:41 +01:00
ndowens a0caadc7d2 chuck: 1.3.5.1 -> 1.3.5.2 2017-03-05 08:43:12 -06:00
Leon Isenberg 1971e94d48 hasklig: 0.9 -> 1.1 2017-03-05 15:32:30 +01:00
Daiderd Jordan 0113a5ec29 Merge pull request #23340 from alibabzo/fix/msgpack-tools
msgpack-tools: fix hydra build
2017-03-05 15:15:26 +01:00
Jan Malakhovski 518a9e3da4 timidity: add ALSA sequencer support 2017-03-05 14:13:19 +00:00
Jan Malakhovski 6abb141a64 osmctools: osmfilter: init at 1.4.0 2017-03-05 14:12:11 +00:00
Jan Malakhovski 916fa0a610 xen: rewrite build expression to be more modular, support upstream qemu and seabios
Also:

* provides a bunch of build options
* documents build options config in longDescription
* provides a bunch of predefined packages and documents them some more
* sources' hashes stay the same
2017-03-05 13:59:28 +00:00
Jan Malakhovski 1c8940a2b8 qemu: add xen support 2017-03-05 13:59:28 +00:00
Jan Malakhovski eff9b09fb7 qemu: separate usbredirSupport option out of spiceSupport option 2017-03-05 13:59:28 +00:00
Michal Rus 13a9059c55
devede: 3.23.0 → 4.8.8 2017-03-05 14:48:22 +01:00
Guillaume Maudoux 816beccf50 wrapFirefox: fix default-browser update
Set MOZ_APP_LAUNCHER for firefox as per [1] (see [2] for detailed discussion).
Firefox will recognise itself across verions, skipping the 'not-the-default-browser' prompt.
Firefox will also write sane paths to the generated desktop file, should someone ever set it as default through the 'not-the-default-browser' prompt.
Also removed the unnecessary libtrick cruft.

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=611953
[2] https://bugzilla.mozilla.org/show_bug.cgi?id=593948
2017-03-05 14:21:40 +01:00
Théo Zimmermann 12a00b51b3 coq: default version 8.4pl6 -> 8.6 2017-03-05 14:14:24 +01:00