Commit Graph

29873 Commits

Author SHA1 Message Date
Tuomas Tynkkynen
73a1307a02 U-Boot: Add A20 OLinuXino Lime build
Yet another Allwinner board working out-of-the-box, no surprises.
2017-06-10 23:22:24 +03:00
Jörg Thalheim
b9c259355b Merge pull request #26391 from ss1h2a3tw/powerline
pythonPackages.powerline: 2.5.2 -> 2.6
2017-06-10 11:09:32 +01:00
Jörg Thalheim
800d525ac4 Merge pull request #26349 from midchildan/tilix
tilix: init at 1.5.8
2017-06-10 10:31:08 +01:00
Jörg Thalheim
b731e65081 arphic: init at 0.2.20080216.2
arphic: init at 0.2.20080216.2
2017-06-10 09:32:34 +01:00
Jörg Thalheim
c1d05287d6 Merge pull request #26451 from oxij/pkg/up/exiftool
perl: Image-ExifTool: 9.27 -> 10.48, add alias to all-packages.nix
2017-06-10 09:28:08 +01:00
Jörg Thalheim
308acf3199 Merge pull request #26478 from Moredread/profanity_tray
profanity: enable tray icon support
2017-06-10 09:25:53 +01:00
Jörg Thalheim
ea7aa3156c Merge pull request #26496 from romildo/fix.lxappearance
lxappearance: add variant for Gtk+-3
2017-06-10 09:11:51 +01:00
Vladimír Čunát
cb9f953c92
Merge branch 'master' into staging
More larger rebuilds.
2017-06-10 10:07:33 +02:00
Joachim Schiele
507c207958 spamassassin: major service fixes -> added more perl packages to spamassassin and abstracted service to not use /etc/spamassassin, also running sa-update as spamd user periodically (#26470)
thanks @grahamc for IRC comments
2017-06-10 09:35:35 +02:00
Michael Weiss
d17bcfc5f0 androidenv: Manually update missing packages
Improvement: Use nix-shell for fetch.sh

androidsdk{,_extras}:
- Update to 7.1.1

google_apis_25 is missing after fetch.sh due to an error in addon.xml
(upsteam bug).

Addons:
- Add google_apis_25
- Update google_play_services (v8_rc41 -> v11_rc16)
2017-06-10 03:57:30 +02:00
Changlin Li
8237294f64 Add Unicode Arphic CJK fonts
These are a couple of CJK fonts that are on most other Linux distributions
that aren't on NixOS
2017-06-09 20:52:18 -04:00
Masayuki Takeda
c2c775d047 rictydiminished-with-firacode: init at 0.0.1 (#26485) 2017-06-10 00:29:36 +01:00
romildo
11623c5fca lxappearance: add variant for Gtk+-3
lxappearance supports both Gtk+-2 and Gtk+-3. The current `lxappearance'
package continues to be for Gtk+-2. Add `lxappearance-gtk3' for Gtk+-3.

A patch is needed in order to look for themes in system data dirs with
Gtk+-3.
2017-06-09 18:05:09 -03:00
Joachim F
cabdbcbcb8 Merge pull request #26483 from ciil/lbreakout2-pkg
lbreakout2: init at 2.6.5
2017-06-09 21:54:24 +01:00
Frederik Rietdijk
a78bf7df14 Merge pull request #26437 from vaibhavsagar/unbreak-thumbor
python.pkgs.thumbor: fix package
2017-06-09 12:55:50 +02:00
midchildan
54b23e605c
tilix: init at 1.6.1 2017-06-09 16:53:47 +09:00
midchildan
0f93270aba
gtkd: init at 3.6.5 2017-06-09 16:53:46 +09:00
Simon Lackerbauer
63e967a33a lbreakout2: init at 2.6.5 2017-06-09 09:25:28 +02:00
André-Patrick Bubel
55f0f9e1a4
profanity: enable tray icon support
Profanity can show a tray icon, e.g. showing that messages were received.
This enables support for the feature.
2017-06-08 22:55:42 +02:00
Jörg Thalheim
ff139c49f7 Merge pull request #26438 from jgertm/jgertm/buck
buck: init at v2017.05.31.01
2017-06-08 21:27:33 +01:00
Daiderd Jordan
e88a89ad33 erlang: use makeOverridable for customizations 2017-06-08 22:13:30 +02:00
John Ericson
2f348884b8 Merge pull request #26471 from obsidiansystems/gcc7-no-cross-arg
gcc 7: Remove `cross` arguments and don't use stdenv.is*
2017-06-08 15:40:35 -04:00
Vladimír Čunát
2993b7e096
Merge branch 'master' into staging
>10k of rebuilds from master
2017-06-08 20:56:22 +02:00
John Ericson
7a13457253 gcc 7: Remove cross arguments and don't use stdenv.is*
These changes were already done for the older GCCs, but 7 slipped
through the cracks.
2017-06-08 14:08:31 -04:00
James Kent
3cb5d52dac pkgs.python.astropy: init at 1.3.3 2017-06-08 17:50:22 +02:00
Rok Garbas
a0afc4f0d1 firefox-*-bin: updates (#26462)
* firefox-beta-bin: 51.0b8 -> 54.0b13

* firefox-devedition-bin: init at 54.0b14

Firefox DevEdition became a new product of Mozilla and is "repackaged"
Firefox Beta with its own release channel and six weeks release cycle as
other channels. It is no longer being built on nightly basis

* updated the update.nix script to facilitata firefox-devedition-bin

* disabling automatic updates by pointing to non existing channel

* f firefoxWrapper looks for gtk3 attribute to wrap the executable gtk3 to wrap the binary with needed ``XDG_DATA_DIRS``
2017-06-08 15:33:24 +02:00
Gleb Peregud
3426c88bff erlang: Generalize Erlang/OTP derivations.
Switch official Erlang versions to use a common builder.
2017-06-08 11:29:47 +02:00
Gleb Peregud
96f4cac659 erlang: Move all BEAM packages into beam-packages.
This applies to Erlang, Elixir and LFE packages.

beam-packages provides interpreters and packages sets separately. This
is in preparation of generalizing BEAM interpreters definitions.
2017-06-08 11:28:44 +02:00
Eric Sagnes
4f4ba1186e pythonPackages.Fabric: 1.10.2 -> 1.13.2 2017-06-08 13:26:37 +09:00
Edward Tjörnhammar
44a9f37ba8
libretro: add parallel-n64 core 2017-06-07 23:31:20 +02:00
Shea Levy
5365166a5d Merge branch 'zoom-us' of git://github.com/danbst/nixpkgs 2017-06-07 12:24:42 -04:00
Vladimír Čunát
ae6df000d0
Merge branch 'master' into staging 2017-06-07 18:11:27 +02:00
Michiel Leenaars
8b6f7b6f03 pythonPackages.ipaddress: 1.0.16 -> 1.0.18 2017-06-07 17:35:00 +02:00
Frederik Rietdijk
e249d6e8ce python.pkgs.characteristic: 14.1.0 -> 14.3.0 2017-06-07 17:29:47 +02:00
SLNOS
c6df7ca5cf perl: Image-ExifTool: 9.27 -> 10.48, add alias to all-packages.nix 2017-06-07 12:00:57 +00:00
Frederik Rietdijk
9ed3ad1eba Merge pull request #25992 from knedlsepp/provide-eccodes-python-bindings
eccodes: Provide python bindings
2017-06-07 13:07:54 +02:00
Frederik Rietdijk
90d5dd3cda Merge pull request #25990 from knedlsepp/provide-grib-api-python-bindings
grib-api: Provide python bindings
2017-06-07 13:07:36 +02:00
danbst
e9da05ee8b zoom-us: init at 2.0.91373.0502
Actually, reintroduce after removal (bb99babc5a)
and use bundled Qt.
2017-06-07 12:01:01 +03:00
Vaibhav Sagar
69cfc7f265 thumbor: 5.2.1 -> 6.3.2 2017-06-07 14:30:16 +08:00
Tim Jäger
48c910611f buck: init at v2017.05.31.01 2017-06-06 22:46:02 -07:00
Vaibhav Sagar
acf4f0ce69 libthumbor: 1.2.0 -> 1.3.2 2017-06-07 11:23:51 +08:00
John Ericson
6518dffc02 Merge pull request #26388 from obsidiansystems/tools-cleanup-rote
Tools cleanup rote
2017-06-06 20:39:24 -04:00
Ross MacLeod
e854685d65 gcc*: Remove cross argument and instead use hostPlatform and targetPlatform 2017-06-06 19:28:16 -04:00
John Ericson
200ac02d0f binutils: Modernize derivation
No hashes of any sort should be changed
2017-06-06 19:28:16 -04:00
Frederik Rietdijk
7e0251698b Merge remote-tracking branch 'upstream/master' into HEAD 2017-06-06 20:44:34 +02:00
ss1h2a3tw
e5449af0bf pythonPackages.powerline: 2.5.2 -> 2.6 2017-06-06 21:36:33 +08:00
Frederik Rietdijk
c0b1e8a5fb python.pkgs.pathpy: 10.1 -> 10.3.1 2017-06-06 11:27:04 +02:00
Frederik Rietdijk
5666695906 Merge pull request #26417 from sifmelcara/update/pygit2
pythonPackages.pygit2: 0.25.0 -> 0.25.1
2017-06-06 10:48:42 +02:00
mingchuan
b0e86e6cd8 pythonPackages.pygit2: 0.25.0 -> 0.25.1
This also fixes a failed test when builds with cffi 1.10
https://github.com/libgit2/pygit2/issues/694
2017-06-06 15:27:49 +08:00
Jörg Thalheim
17e9420726 Merge pull request #26408 from jluttine/add-rssguard
rssguard: init at 3.4.0
2017-06-06 06:36:32 +01:00
Jörg Thalheim
85aa14fa37
rssguard: use fetchgit; wrapGAppsHook 2017-06-06 06:34:29 +01:00
Jörg Thalheim
cf2c5f1be9
python.pkgs.scikitlearn: fix python 3.6 tests 2017-06-05 22:05:43 +01:00
Jaakko Luttinen
fe53a6c17c
rssguard: init at 3.4.0 2017-06-05 21:14:29 +03:00
Edward Tjörnhammar
677f194a10
kodiPlugins.steam-controller: init at 0.9.0 2017-06-05 17:19:12 +02:00
Edward Tjörnhammar
fe0b858113
kodiPlugins.joystick: init at 1.3.6 2017-06-05 17:17:57 +02:00
Edward Tjörnhammar
4f410bfc8d
kodiPlugins.advanced-emulator-launcher: init at 0.9.6 2017-06-05 17:17:57 +02:00
Edward Tjörnhammar
513e66e310
kodiPlugins: move build funs to common 2017-06-05 17:17:57 +02:00
Jörg Thalheim
6b89277fed
python.pkgs.systemd: 233 -> 234
also python library does not match with our systemd version, the
changes done in this release are systemd 233 and python 3.6 related.
2017-06-05 16:07:11 +01:00
Frederik Rietdijk
7578940392 Merge remote-tracking branch 'upstream/master' into HEAD 2017-06-05 12:46:08 +02:00
Daiderd Jordan
30f329e74b Merge pull request #26310 from LnL7/darwin-stdenv-no-sphinx
darwin-stdenv: remove python dependencies
2017-06-05 12:44:07 +02:00
Frederik Rietdijk
1441342182 Merge pull request #26386 from danielfullmer/python-systemd-233
pythonPackages.systemd: 231 -> 233
2017-06-05 12:25:47 +02:00
Gabriel Ebner
c1dd378b58 Merge pull request #26390 from asppsa/emscripten-binaryen
emscripten: add binaryen support
2017-06-05 09:30:51 +02:00
Vincent Laporte
68eb2c2379 ocamlPackages.re2: mark broken on darwin 2017-06-05 05:45:59 +00:00
Daniel Fullmer
970ad2b93a pythonPackages.systemd: 231 -> 233 2017-06-05 00:04:31 -04:00
Jaka Hudoklin
305e7deb0d Merge pull request #26362 from benley/dex-2.4.1
dex: init at 2.4.1
2017-06-05 00:56:34 +02:00
Edward Tjörnhammar
beb04aabac
libretro.dolphin: init at 2017-06-04 2017-06-04 21:11:14 +02:00
Pascal Wittmann
84da900743
perlPackages.DataGUID: 0.048 -> 0.049 2017-06-04 17:37:52 +02:00
Pascal Wittmann
2c84e814e8
randoop: init at 3.1.5 2017-06-04 17:19:23 +02:00
Frederik Rietdijk
56a850701b python.pkgs.aiofiles: init at 0.3.1 2017-06-04 12:24:44 +02:00
Alastair Pharo
a8c48bb68b binaryen: add package 2017-06-04 13:49:46 +10:00
Nikolay Amiantov
0011f9065a Merge pull request #26152 from abbradar/wine-reorder
wine: reorganize packages
2017-06-04 00:58:42 +03:00
Nikolay Amiantov
e7530e6a5a wine: reorganize packages
Move most of wine configurations to winePackages which is not built on Hydra.
Leave two top-level packages:

wine: stable release with an "office" configuration;
wineStaging: staging release with a "full" configuration.
2017-06-04 00:57:45 +03:00
Nikolay Amiantov
2d0a7c4eee aliases: don't distribute on Hydra 2017-06-04 00:57:45 +03:00
Benjamin Staffin
d007428621
dex: init at 2.4.1
There is already another thing called "dex" that manipulates .desktop
files, so I called this one "dex-oidc" in all-packages.nix.
2017-06-03 17:43:36 -04:00
Nikolay Amiantov
0dc5473730 gcc7: init at 7.1.0 2017-06-04 00:38:30 +03:00
José Luis Lafuente
5b3c1e8a78
pgcli: 1.5.1 -> 1.6.0 2017-06-03 20:32:14 +02:00
Volth
ede0d138fd half: init at 1.12.0 2017-06-03 13:53:24 +00:00
Jörg Thalheim
4c034921c3 Merge pull request #26311 from rnhmjoj/colorama
update colorama and related
2017-06-03 13:08:24 +01:00
rnhmjoj
11236d9baa
pythonPackages.libtmux: 0.6.4 -> 0.7.3 2017-06-03 13:49:35 +02:00
Jörg Thalheim
88164c77e8 Merge pull request #26235 from apeyroux/init-ctop
ctop: init at 2017-05-28
2017-06-03 12:37:39 +01:00
Bastian Köcher
fcf6989c92 inspectrum: unstable-2017-02-18 -> unstable-2017-05-31 (#26284)
* Upgrades Inspectrum to new version to work with QT5.8

* inspectrum: also increment version number
2017-06-03 12:30:40 +01:00
Francois-Rene Rideau
7cbdb10576 gerbil: init at 0.10 2017-06-03 12:08:49 +01:00
Jörg Thalheim
cb2f0d3aab Merge pull request #26317 from Mounium/pymol
pymol: added Pmw + python version bump
2017-06-02 21:58:27 +01:00
Jörg Thalheim
7a0bce8422 Merge pull request #26331 from orivej/libnetfilter_log
libnetfilter_log: init at 1.0.1
2017-06-02 21:31:24 +01:00
Kjartan Ovmilk
2bd5c13af5
resilio-sync: init at 2.5.2 2017-06-02 21:24:42 +01:00
Katona László
d5fe7d1534 pythonPackages.Pmw: init at 2.0.1 2017-06-02 19:58:00 +02:00
vbgl
c73355506a Merge pull request #26286 from romildo/fix.cmdliner
Keep older versions of cmdliner and ocp-indent
2017-06-02 19:04:12 +02:00
Orivej Desh
48c9e09190 libnetfilter_log: init at 1.0.1 2017-06-02 16:10:23 +00:00
Frederik Rietdijk
c7867b8b34 python.pkgs.dask: 0.14.1 -> 0.14.3 2017-06-02 17:10:22 +02:00
Frederik Rietdijk
2957786355 python.pkgs.nbconvert: 5.1.1 -> 5.2.1 2017-06-02 17:10:22 +02:00
Frederik Rietdijk
779767e650 python.pkgs.nbformat: move expression 2017-06-02 17:10:22 +02:00
Graham Christensen
49bc01682e Merge pull request #26262 from holidaycheck/nodejs-8.0.0
nodejs: init at 8.0.0
2017-06-02 11:05:26 -04:00
rnhmjoj
ffedf3fa1c
pythonPackages.botocore: 1.5.38 -> 1.5.58 2017-06-02 11:57:53 +02:00
rnhmjoj
28cbb4ae6a
pythonPackages.colorama: move to development/python-modules 2017-06-02 11:57:45 +02:00
Frederik Rietdijk
1fe17ee116 Merge pull request #26316 from rnhmjoj/pirate-get
pirate-get: 0.2.9 -> 0.2.10
2017-06-02 09:37:07 +02:00
Frederik Rietdijk
c443fcfdec Merge pull request #26161 from elasticdog/pywinrm
pythonPackages.pywinrm: 0.1.1 -> 0.2.2
2017-06-02 09:17:22 +02:00
Frederik Rietdijk
1606bd2a17 Merge pull request #26308 from rnhmjoj/uncertainties
pythonPackages.uncertainties: move to development/python-modules
2017-06-02 09:05:50 +02:00
rnhmjoj
ceedd0b04a
pirate-get: 0.2.9 -> 0.2.10 2017-06-02 00:36:59 +02:00
romildo
4103994414 ocp-index: add explicitly dependency on ocpIndent_1_5_2
ocp-index does not yet compile with newer versions of ocp-indent.
2017-06-01 18:47:59 -03:00
romildo
7ba979cac3 ocp-indent: readd old version 1.5.2
Some packages (ocp-index, for instance) are not yet compatible with
newer versions of ocp-indent. So version 1.5.2 is still needed.
2017-06-01 18:43:27 -03:00
Daiderd Jordan
9e2aba3572
darwin-stdenv: remove python-sphinx and a bunch of other dependencies from the stdenv 2017-06-01 23:23:56 +02:00
rnhmjoj
5ae61ce156
pythonPackages.uncertainties: move to development/python-modules 2017-06-01 22:05:26 +02:00
Frederik Rietdijk
24ea567fb4 Merge pull request #26079 from mt-caret/fonttools-3.13.0
fonttools: 3.0 -> 3.13.0
2017-06-01 20:05:33 +02:00
Frederik Rietdijk
84ce0d87b8 Merge pull request #26220 from erictapen/python-future-bump
pythonPackages.future: 0.15.2 -> 0.16.0
2017-06-01 19:58:56 +02:00
Pascal Wittmann
08228e8bfa
nagstamon: init at 2.0.1 2017-06-01 19:32:06 +02:00
Robert Helgesson
463df8c9f7
perl-DBIx-Class-Schema-Loader: 0.07045 -> 0.07047 2017-06-01 18:30:47 +02:00
Frederik Rietdijk
f069498c3a python.pkgs.appdirs: 1.4.0 -> 1.4.3 2017-06-01 18:24:48 +02:00
Frederik Rietdijk
10ee7b2bda pythonPackages.wheel: move expression to separate file 2017-06-01 18:01:24 +02:00
Frederik Rietdijk
49edb1138a pythonPackages.argparse: remove because argparse is part of stdlib in 2.7 and 3.2+ 2017-06-01 18:00:57 +02:00
Peter Hoeg
ef77b61f75 kwalletcli: init at 3.00 2017-06-01 19:11:30 +08:00
Jörg Thalheim
bb21e5356f ropper: fix tests 2017-06-01 11:54:18 +01:00
Peter Simons
be3b7c7408 osc: install completion file for fish 2017-06-01 10:21:05 +02:00
Peter Simons
6ce7049ebb osc: udpdate to latest git version 2017-06-01 10:21:04 +02:00
Jörg Thalheim
4414ac8448 Merge pull request #26289 from rnhmjoj/electrum
fix electrum dependencies (2nd try)
2017-06-01 00:22:56 +01:00
Nikolay Amiantov
120275fd6e pythonPackages.nbxmpp: 0.5.3 -> 0.5.5
Fix annoying bug with messages being resent on reconnection.
2017-06-01 02:02:00 +03:00
rnhmjoj
b3c9127481
pythonPackages.mnemonic: move expression to mnemonic/default.nix 2017-06-01 00:48:32 +02:00
rnhmjoj
3463dd1c7b
pythonPackages.ed25519: move to pkgs/development/python-modules 2017-06-01 00:48:32 +02:00
rnhmjoj
f93dfd5259
pythonPackages.semver: move to pkgs/development/python-modules 2017-06-01 00:48:32 +02:00
rnhmjoj
e693d5f986
pythonPackages.trezor_agent: 0.7.0 -> 0.9.0 2017-06-01 00:48:31 +02:00
rnhmjoj
6217233531
pythonPackages.libagent: init at 0.9.1 2017-06-01 00:48:31 +02:00
rnhmjoj
93ff334d6d
pythonPackages.trezor: move expression to trezor/default.nix 2017-06-01 00:48:31 +02:00
rnhmjoj
b236fa54aa
pythonPackages.keepkey: fix impossible constraint 2017-06-01 00:48:31 +02:00
rnhmjoj
6c0e6eeb58
pythonPackages.ledgerblue: init at 0.1.13 2017-06-01 00:48:30 +02:00
rnhmjoj
9e61a82ab3
pythonPackages.ecpy: init at 0.8.1 2017-06-01 00:15:16 +02:00
romildo
98058ef444 ocp-indent: depends on cmdliner minimum version 1.0.0 2017-05-31 17:13:28 -03:00
rnhmjoj
7b4acc6626
pythonPackages.hidapi: 0.7.99.post15 -> 0.7.99.post20 2017-05-31 22:12:26 +02:00
romildo
32e12ff4ed cmdliner_1_0: init at 1.0.0
Version 1.0 breaks API and some packages does currently not compile
with it. So it is added as a new package.
2017-05-31 17:01:29 -03:00
Peter Simons
e25ab373db wiggle: initial version 1.0
Wiggle is a tool for applying patches with conflicts.
2017-05-31 14:12:06 +02:00
Frederik Rietdijk
8aff7c0508 Merge pull request #26258 from nh2/python-consul-0.7.0
Upgrade to python-consul-0.7.0.
2017-05-31 11:40:58 +02:00
Frederik Rietdijk
3488c65b2b Merge pull request #26268 from Profpatsch/rarfile-unrar-libarchive
pythonPackages.rarfile: use free libarchive by default.
2017-05-31 08:46:40 +02:00
Frederik Rietdijk
62dbc738c5 Revert "fix electrum dependencies" 2017-05-31 08:33:02 +02:00
Frederik Rietdijk
d4aecb35bd Merge pull request #26251 from rnhmjoj/hidapi
fix electrum dependencies
2017-05-31 08:14:28 +02:00
Profpatsch
0697dd8b81 pythonPackages.rarfile: use free libarchive by default.
`unrar` is a non-free package, so it should only be used on request.
rarfile can use the rar-mode of `libarchive` instead, which should work well
enough for most cases.
2017-05-31 05:53:29 +02:00
Peter Hoeg
102a85a486 Merge pull request #26260 from diegs/terraform
terraform: 0.9.4 -> 0.9.6.
2017-05-31 11:14:27 +08:00
Masayuki Takeda
26b69109be move fonttools to its own directory 2017-05-31 10:30:24 +09:00
Gabriel Gonzalez
0dd5e832f0 kati: init at 2017-05-23 (#26168) 2017-05-31 02:16:16 +02:00
Albert Peschar
47d038c21d elasticsearch: add 5.x package, service 2017-05-31 02:06:29 +02:00
Diego Pontoriero
6a27b46dee
terraform: 0.9.4 -> 0.9.6. 2017-05-30 13:54:45 -07:00
Mathias Schreck
b67d01a0e9 nodejs: init at 8.0.0 2017-05-30 22:39:43 +02:00
Niklas Hambüchen
53748b7e17 Upgrade to python-consul-0.7.0.
Fixes https://github.com/cablehead/python-consul/issues/152
2017-05-30 22:19:57 +02:00
rnhmjoj
e73f9953af
move libraries to pkgs/development/python-modules 2017-05-30 21:36:31 +02:00
rnhmjoj
3f9b6ddbf5
pythonPackages.ledgerblue: init at 0.1.13 2017-05-30 21:36:31 +02:00
rnhmjoj
0db8285689
pythonPackages.ecpy: init at 0.8.1 2017-05-30 21:36:31 +02:00
rnhmjoj
b2a8b7df59
pythonPackages.keepkey: fix impossible constraint 2017-05-30 21:36:31 +02:00
rnhmjoj
fe98f01da3
pythonPackages.trezor_agent: 0.7.0 -> 0.9.1 2017-05-30 21:36:31 +02:00
rnhmjoj
26fbe26345
pythonPackages.libagent: init at 0.9.1 2017-05-30 21:36:31 +02:00
rnhmjoj
91a56e1be0
pythonPackages.hidapi: 0.7.99.post15 -> 0.7.99.post20 2017-05-30 21:36:31 +02:00
Théo Zimmermann
f8fd5531a3 patdiff: init at 0.9.0 2017-05-30 20:50:36 +02:00
Théo Zimmermann
5fd9b442f4 ocamlPackages_4_03 (Jane Street packages): 113_33_xx -> 0.9.x 2017-05-30 20:50:36 +02:00
Théo Zimmermann
1cff0701ef ocamlPackages: remove duplicated definitions 2017-05-30 20:50:36 +02:00