3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

26764 commits

Author SHA1 Message Date
Brandon Edens 6774b09af7 Add meson build system package. 2015-10-21 09:08:48 -07:00
Arseniy Seroka b7f3d55979 Merge pull request #10502 from andrewrk/libsoundio
libsoundio: 1.0.2 -> 1.0.3
2015-10-21 16:18:43 +03:00
Domen Kožar 156f164677 Merge pull request #10432 from lancelotsix/update_pkgs.complexity
pkgs.complexity: 0.4 -> 1.3
2015-10-21 11:06:23 +02:00
Andrew Kelley 0bbf978a72 libsoundio: 1.0.2 -> 1.0.3 2015-10-20 20:07:35 -07:00
Vincent Laporte f5c0d29c58 goffice: 0.10.22 -> 0.10.24 2015-10-21 04:43:16 +02:00
Jude Taylor a7f478a368 darwin: add needed inputs to python-3.4 2015-10-20 15:54:33 -07:00
Tomas Hlavaty 393f0eecae sbcl: cleaner xc-host 2015-10-20 22:19:54 +02:00
Tomas Hlavaty eb1784d0e7 sbcl: remove duplicate --core argument 2015-10-20 22:19:54 +02:00
Tomas Hlavaty 58a9b09f7c mkcl: runtime needs gcc 2015-10-20 22:19:54 +02:00
Nikolay Amiantov 1c48e74a33 Merge pull request #8299 from abbradar/steam-native
Steam: use native NixOS libraries instead of Steam Runtime
2015-10-20 17:07:29 +03:00
Vincent Laporte 1df3f3b73a swiften: fix build 2015-10-20 07:13:18 +02:00
Jude Taylor 68087185e3 rethinkdb: build on darwin 2015-10-19 18:40:55 -07:00
Jude Taylor f77bf46c1e go-1.5: fix build on darwin, set to default version for all platforms 2015-10-19 16:14:36 -07:00
devhell 6bb5edcd95 {lib}mediainfo{-gui}: 0.7.77 -> 0.7.78
Built and run locally.

From the Changelog:
```
Version 0.7.78, 2015-10-02

+ MOV: AVrp CodecID support
+ Video Stored_Width/Stored_Height and Sampled_Width/Sampled_Height
  added (hidden by default)
+ Speed optimization for the parsing of tiny files e.g. JPEG files
+ Option (command line / DLL) --Legacy=0 for disabling some legacy fields
+ Option (command line / DLL) --Output=MAXML, XML with MediaInfo and
  MediaTrace output together, technology preview (not for production)
x MPEG-TS: Teletext and Teletext Subtitle were missing in the menu list
x Chroma subsampling "4:4:4" was sometimes indicated for RGB, which is
  not useful
```
2015-10-19 22:40:02 +01:00
Jude Taylor 484b4250ae disable gdk-pixbuf test build on darwin 2015-10-19 10:12:09 -07:00
Nikolay Amiantov d5a532ea8d Merge pull request #10202 from abbradar/llvm-debug
llvm: add debug builds support
2015-10-19 11:15:56 +03:00
William A. Kennington III 95557d776e spice: 0.12.5 -> 0.12.6 2015-10-18 17:23:51 -07:00
William A. Kennington III 1381d57500 spice-protocol: 0.12.9 -> 0.12.10 2015-10-18 17:23:51 -07:00
Franz Pletz af86a58051 libressl: 2.2.3 -> 2.2.4
This release fixes a buffer overrun and a memory leak.

See: http://ftp.openbsd.org/pub/OpenBSD/patches/5.8/common/007_obj2txt.patch.sig
2015-10-19 00:01:32 +02:00
Anders Papitto 8af5e2ef01 rtags: init at 9fed420 2015-10-18 13:49:23 -07:00
Peter Simons ddd255a40c pandoc-citeproc: remove obsolete overrides
The spuriously failing test suite is now disabled by cabal2nix.
2015-10-18 22:01:09 +02:00
Peter Simons 41c733a230 haskell-configuration-ghc-7.8.x.nix: remove obsolete overrides
These overrides cause an infinite recursion for reasons I don't quite
understand and that don't seem worthwhile to attempt to understand.
2015-10-18 22:01:09 +02:00
Peter Simons 8e07d5d77c haskell: update lists of core and non-core packages for older compilers 2015-10-18 22:01:09 +02:00
Peter Simons 215e7a6f00 hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-22-g7ae1e4c using the following inputs:

  - Nixpkgs: ecd4f778f1
  - Hackage: 873ad146ce
  - LTS Haskell: 0c2d9478c4
  - Stackage Nightly: 3f21ac8e0f
2015-10-18 22:01:03 +02:00
Sander van der Burg 5c56b7e526 Merge pull request #10453 from taku0/android_sdk_24.4
android-sdk: 24.3.4 -> 24.4, android-ndk: r10c -> r10e
2015-10-18 15:02:29 +02:00
Domen Kožar 30d25604f2 Merge pull request #10435 from aespinosa/fix-ruby-libpath
ruby: adjust the libPath
2015-10-18 12:55:34 +02:00
Robin Gloster 5815b95176 flow: 0.14.0 -> 0.17.0 2015-10-18 10:22:47 +00:00
taku0 11af8857cd android-sdk: 24.3.4 -> 24.4, android-ndk: r10c -> r10e 2015-10-18 19:02:23 +09:00
Ricardo M. Correia ef8b078ce7 rustfmt: 2015-09-23 -> 2015-10-17
Also convert from fetchgit to fetchFromGitHub.
2015-10-18 04:12:11 +02:00
Ricardo M. Correia 3d5ba0d5d6 rustcMaster: 2015-09-23 -> 2015-10-17
The build was changed to compile with the bundled LLVM because compiling
against the system's LLVM now fails with compilation errors.
2015-10-18 04:12:11 +02:00
Vincent Laporte dd6a98b42a ocaml-x509: init at 0.4.0
X.509 (RFC5280 and RFC6125) handling in OCaml.

Homepage: https://github.com/mirleft/ocaml-x509
2015-10-18 00:13:16 +02:00
William A. Kennington III d639a9b823 mbedtls: 1.3.11 -> 1.3.14 2015-10-17 11:54:42 -07:00
Allan Espinosa c20e79abb9 ruby: adjust the libPath 2015-10-17 22:28:22 +09:00
Lancelot SIX f4c250f76f pkgs.complexity: 0.4 -> 1.3
See https://lists.gnu.org/archive/html/info-gnu/2015-10/msg00004.html
for announcement
2015-10-17 10:22:12 +02:00
Jude Taylor de497895ae nodejs-0.10: apply gyp patches to node-gyp in fixup 2015-10-16 18:37:50 -07:00
Rickard Nilsson 38fa633b3a Merge pull request #10423 from waern/ghcjs-parameterise
ghcjs: make it easier to override shims and ghcjs-boot
2015-10-16 22:20:28 +02:00
David Waern d1360231d1 ghcjs: make it easier to override shims and ghcjs-boot 2015-10-16 21:58:44 +02:00
Shea Levy f17ae73d58 haskell-hscurses: fix undeclared dependency on ncurses 2015-10-16 12:08:28 -04:00
Vincent Laporte 620063af36 ocaml-llvm: init at 3.7.0 2015-10-16 13:28:54 +02:00
Vincent Laporte a222473b06 ocaml-ctypes: requires OCaml >= 4 2015-10-16 13:28:15 +02:00
Peter Simons 840d5489a5 configuration-hackage2nix.yaml: disable broken builds 2015-10-16 10:54:41 +02:00
Peter Simons 301a1d366a hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-18-g676e5bd using the following inputs:

  - Nixpkgs: 0d6c2ccabf
  - Hackage: 4571e32cd9
  - LTS Haskell: 0d493eae36
  - Stackage Nightly: c10e6d05fe
2015-10-16 10:54:31 +02:00
Pascal Wittmann 280621778a Merge pull request #10403 from rehno-lindeque/heroku-3.42.20
heroku: 3.32.0 -> 3.42.20
2015-10-15 22:22:37 +02:00
Rehno Lindeque bbfae3c013 heroku: 3.32.0 -> 3.42.20 2015-10-15 20:03:07 +00:00
Sander van der Burg 62e676b959 androidenv: fix broken, less frequently used command-line tools 2015-10-15 14:42:24 +00:00
Nikolay Amiantov f2ce7bb0a5 folly: 2015-09-17 -> 0.57.0 2015-10-15 17:07:38 +03:00
Nikolay Amiantov 786b657031 cppzmq: 2015-07-06 -> 20150926 2015-10-15 17:07:20 +03:00
Nikolay Amiantov d54a459063 ipopt: 3.12.3 -> 3.12.4 2015-10-15 17:06:23 +03:00
Nikolay Amiantov a8ae9b2e42 libbluray: 0.8.1 -> 0.9.0 2015-10-15 17:06:23 +03:00
Philipp Hausmann 30d82d4a64
uhc: Update to 1.1.9.1 2015-10-15 15:01:26 +02:00
Peter Simons a0376d4666 haskell-conduit: fix build with pre-7.10.x versions of GHC
Thanks to @bennofs for finding this issue!
2015-10-15 10:04:14 +02:00
Peter Simons a7bddbd4ca hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-17-gacb24c5 using the following inputs:

  - Nixpkgs: d16b4a3e78
  - Hackage: bf464d8754
  - LTS Haskell: 0d493eae36
  - Stackage Nightly: a19cf709b3
2015-10-15 10:04:06 +02:00
Desmond O. Chang 739724b4b0 editorconfig-core-c: init at 0.12.0 2015-10-15 08:26:55 +08:00
Vincent Laporte e468b311bc eliom: requires OCaml >= 4 2015-10-15 00:29:33 +02:00
Arseniy Seroka 6d48e23eb0 Merge pull request #10391 from utdemir/jenkins-633
jenkins: 1.631 -> 1.633
2015-10-15 00:12:07 +03:00
Joe Hermaszewski bb15c81597 libtermkey: 0.17 -> 0.18 2015-10-14 20:27:36 +01:00
Utku Demir 57ad847982 jenkins: 1.631 -> 1.633 2015-10-14 21:21:12 +03:00
Vincent Laporte 37d731790b ocp-index: requires OCaml >= 4 2015-10-14 19:27:33 +02:00
Vincent Laporte 0da6fb5fa5 ocaml-cmdliner: 0.9.7 -> 0.9.8 2015-10-14 19:27:10 +02:00
Vincent Laporte 92e2e18fbb ocaml-ocp-indent: 1.4.2b -> 1.5.2 2015-10-14 19:26:38 +02:00
Vincent Laporte 621b66c3df js_of_ocaml: fix for OCaml < 4.0 2015-10-14 19:25:58 +02:00
Eelco Dolstra 2e098d58d2 libmicrohttpd: Update to 0.9.44
Also move the info pages to a separate output, significantly reducing
the size of the main output.
2015-10-14 13:55:43 +02:00
Peter Simons c75e30031b Merge pull request #10375 from woehr/llvm-general-3.5-support
Latest llvm-general now requires llvm 3.5
2015-10-13 20:20:51 +02:00
Tobias Geerinckx-Rice 3680198bb9 libpsl list 2015-09-25 -> 2015-10-11 2015-10-13 20:07:18 +02:00
Jordan Woehr 2b09bfc3c8 Latest llvm-general now requires llvm 3.5 2015-10-13 08:12:52 -06:00
Timofei Kushnir 43c906ea0b oprofile: 1.0.0 -> 1.1.0 2015-10-13 13:27:50 +03:00
Peter Simons 92dec33670 hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-18-g943a6d6 using the following inputs:

  - Nixpkgs: 8b34d449ff
  - Hackage: 746b60ae21
  - LTS Haskell: 0d493eae36
  - Stackage Nightly: 6fbf34ed62
2015-10-13 11:20:56 +02:00
Peter Simons 35059e73ff Merge pull request #10346 from tk-ecotelecom/develop
oprofile: depend on kernel headers to correctly compile 'operf' util.
2015-10-13 11:12:55 +02:00
Sou Bunnbu f58c9026d5 Merge pull request #10366 from andrewrk/glfw
GLFW: 3.1.1 -> 3.1.2
2015-10-13 12:44:59 +08:00
Vincent Laporte c400e81b81 ocaml-alcotest: 0.3.2 -> 0.4.5 2015-10-13 06:14:25 +02:00
Vincent Laporte 4fa4f6f841 ocaml-gg: 0.9.0 -> 0.9.1 2015-10-13 06:14:25 +02:00
Peter Simons 1f172c6e7b Merge pull request #10339 from AndersonTorres/nuweb
Nuweb: init at 1.58
2015-10-13 01:07:57 +02:00
Andrew Kelley da5ffe8cb4 GLFW: 3.1.1 -> 3.1.2 2015-10-12 15:16:27 -07:00
AndersonTorres da77f21e5f Nuweb: init at 1.58 2015-10-12 18:39:17 -03:00
Michael Raskin 7671360e91 Force SLimerJS Gecko compatibility even higher 2015-10-13 00:21:44 +03:00
Edward Tjörnhammar c10caef1a2 Merge pull request #10062 from gebner/sbt-loader-package
sbt: use sbt-launcher-package.
2015-10-12 23:02:58 +02:00
Timofei Kushnir aefa4a181f oprofile: depend on kernel headers to correctly compile 'operf' util. 2015-10-12 17:50:13 +03:00
Peter Simons d6c83c30e6 configuration-hackage2nix.yaml: update list of broken packages 2015-10-12 16:07:43 +02:00
Peter Simons 18a32bd8cd libmp3splt: enable libid3tag support 2015-10-12 15:57:02 +02:00
Peter Simons 214955dd04 hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-18-g943a6d6 using the following inputs:

  - Nixpkgs: b50d1833ba
  - Hackage: 370eb30278
  - LTS Haskell: 0d493eae36
  - Stackage Nightly: 6fbf34ed62
2015-10-12 15:39:37 +02:00
Timofei Kushnir d7eb1dd8d0 oprofile: depend on kernel headers to correctly compile 'operf' util. 2015-10-12 15:02:01 +03:00
Timofei Kushnir 6ea8f649e6 Create kernel headers dependency to correctly compile 'operf' util. 2015-10-12 13:05:04 +03:00
Michel Kuhlmann ec8f31d26c R: fix some modules with configure-shebang-error
- xml2: fix configure script
- rversion, devtools: mark as unbroken
  dependency R-curl was fixed in 513e31185b
2015-10-12 10:02:48 +02:00
James ‘Twey’ Kay 4908be3259 swiften: init at 3.0beta2 2015-10-11 22:03:39 +01:00
Thomas Tuegel ae49c91569 Merge branch 'julia-0.4' 2015-10-11 10:11:14 -05:00
Thomas Tuegel a8353b27ff remove julia03 2015-10-11 10:06:39 -05:00
Thomas Tuegel d5326814a8 remove julia02 2015-10-11 10:06:27 -05:00
Thomas Tuegel 0daee71b1c suitesparse: link shared library against openblas 2015-10-11 09:16:34 -05:00
Thomas Tuegel eb300443f0 openblas: run tests 2015-10-11 09:16:27 -05:00
Thomas Tuegel 708c8ff240 llvm33: patches from julia-0.4.0 2015-10-11 09:16:06 -05:00
Thomas Tuegel 384b828642 julia: 0.3.11 -> 0.4.0 2015-10-11 09:15:50 -05:00
Thomas Tuegel 840f4b0b55 pcre2: enable alternate character widths 2015-10-10 13:56:34 -05:00
Thomas Tuegel d2a855b606 pcre2: enable JIT 2015-10-10 13:56:24 -05:00
Thomas Tuegel 32bef7253d utf8proc: 1.2 -> 1.3 2015-10-10 12:56:43 -05:00
Thomas Tuegel cd2c0e4e86 openspecfun: init at 0.4 2015-10-10 12:55:30 -05:00
Thomas Tuegel f9e7011626 fixup! openlibm: init at 0.4.1 2015-10-10 12:55:08 -05:00
Nikolay Amiantov f8bf2326a4 glew-1.10: add package 2015-10-10 14:26:41 +03:00
Pascal Wittmann 4c7ef76862 libeb: s/licence/license 2015-10-10 11:13:20 +02:00
Thomas Tuegel 7061b6819a pcre2: init at 10.20 2015-10-09 19:08:25 -05:00
Thomas Tuegel 3436c78fc3 openlibm: init at 0.4.1 2015-10-09 19:02:01 -05:00
Tobias Geerinckx-Rice e8ca6b7a62 ccache 3.2.3 -> 3.2.4
Bug fixes:
- Fixed build error related to zlib on systems with older make versions
  (regression in ccache 3.2.3).
- Made conversion-to-bool explicit to avoid build warnings (and potential
  runtime errors) on legacy systems.
- Improved signal handling: Kill compiler on SIGTERM; wait for compiler to
  exit before exiting; die appropriately.
- Minor fixes related to Windows support.
- The correct compression level is now used if compression is requested.
- Fixed a bug where cache cleanup could be run too early for caches larger
  than 64 GiB on 32-bit systems.
2015-10-09 21:59:51 +02:00
Vincent Laporte af21739688 ocaml-nocrypto: init at 0.5.1
Simplest possible crypto to support TLS

Homepage: https://github.com/mirleft/ocaml-nocrypto
2015-10-09 21:23:06 +02:00
Vladimír Čunát 3077bdfd71 Merge #10229: update and fix sbcl and cmucl
And related changes.
2015-10-09 18:49:01 +02:00
Peter Simons 0a28867303 haskell-fltkhs: record my fruitless attempts to fix that build 2015-10-09 12:39:14 +02:00
Peter Simons f4f13f0d29 haskell-wxc: fix undeclared dependency on split 2015-10-09 12:39:13 +02:00
Peter Simons d964960dd8 haskell-freenect: remove obsolete override 2015-10-09 12:39:13 +02:00
Peter Simons 4a3ac50e73 configuration-hackage2nix.yaml: update list of broken packages 2015-10-09 12:39:13 +02:00
Peter Simons a846b48b92 hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-16-g255fd25 using the following inputs:

  - Nixpkgs: 413771bf48
  - Hackage: 34485133f3
  - LTS Haskell: c5f1e507cd
  - Stackage Nightly: c5032276f9
2015-10-09 12:39:13 +02:00
Casey Ransom 8b8f87cf21 jq: 1.4 -> 1.5 2015-10-08 17:13:32 -04:00
Domen Kožar b4603f8275 Merge pull request #10137 from davidak/kibana-fix-url
kibana: fix url and hash
2015-10-08 12:23:30 +02:00
Eelco Dolstra 69e1bec716 libuv: Get rid of unused versions
Building dozens of unused versions is a bit excessive.
2015-10-08 11:15:23 +02:00
roconnor 0caedf7525 Merge pull request #10248 from Havvy/node
nodejs: 4.1.0 -> 4.1.2
2015-10-07 23:05:32 -04:00
Tobias Geerinckx-Rice 0e9bc96889 libwps 0.4.1 -> 0.4.2 2015-10-08 01:42:46 +02:00
Eelco Dolstra c90d26140e opensubdiv: Add 2015-10-08 00:57:21 +02:00
Nikolay Amiantov 8db98ceb01 glibc_multi: fix ldd for 64-bit ELFs 2015-10-07 16:46:26 +03:00
Eelco Dolstra bcc7673a44 php: Update to 5.5.30, 5.6.14 2015-10-07 11:32:15 +02:00
Pascal Wittmann 100904a39c musj: 2015-09-15 -> 2015-09-29 2015-10-06 16:29:05 +02:00
Sander van der Burg 0915f16167 androidsdk: add SDK option for Android API-level 23 2015-10-06 13:26:53 +00:00
Sander van der Burg aeabfbe846 androidsdk: bump to version 24.3.4 and update associated sub packages 2015-10-06 12:27:49 +00:00
Pascal Wittmann 9d37d4cc9d checkstyle: 6.10.1 -> 6.11.2 2015-10-06 13:13:57 +02:00
Arseniy Seroka bcf536ff3f Merge pull request #10194 from vbgl/ocaml-4.2.2
OCaml: 4.02.1 → 4.02.3
2015-10-06 02:07:54 +03:00
Arseniy Seroka b3796cd0e7 Merge pull request #10214 from henrytill/mozart-fix
mozart: fix tcl/tk issues and clean up
2015-10-06 02:05:51 +03:00
Ryan Scheel (Havvy) d9819cf7b0 nodejs: 4.1.0 -> 4.1.2 2015-10-06 00:43:01 +02:00
Thomas Tuegel a5a031c8ff wrapQtProgram: --set does not take separator
The --set flag to wrapProgram does not take a separator character, just
a value.
2015-10-05 13:08:26 -05:00
Thomas Tuegel 004448ca47 kf514: init at 5.14 2015-10-05 13:08:25 -05:00
William A. Kennington III a3e7a84d36 libev: 4.19 -> 4.20
Tested using stdenv and clangStdenv
2015-10-05 11:06:26 -07:00
Peter Simons 7c516259e7 r-modules: update list of broken packages 2015-10-05 14:15:41 +02:00
Peter Simons 3b9e450e42 Merge pull request #10234 from k0001/ghcjs-bumps-2
pkgs bumps: ghcjs, ghcjs-boot, ghcjs-shims, ghcjs-dom
2015-10-05 10:52:10 +02:00
Ricardo M. Correia c9043e0c55 libnetfilter_conntrack: fix hash
The version was bumped but the hash wasn't updated.
2015-10-05 09:17:31 +02:00
vbgl 0de1939a77 Merge pull request #10087 from vbgl/coq-ext-lib
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
2015-10-05 07:29:14 +02:00
Renzo Carbonara 5ed4e0c2fd pkgs bumps: ghcjs, ghcjs-boot, ghcjs-shims, ghcjs-dom 2015-10-05 01:20:22 -03:00
Peter Simons 382a5b7328 haskell-clock: disable tests to break infinite recursion 2015-10-04 21:23:12 +02:00
Peter Simons 083b392fd0 hackage-packages.nix: update Haskell package set
This update was generated by hackage2nix v20150922-11-gaf50139 using the following inputs:

  - Nixpkgs: 2ff1ebc619
  - Hackage: 6f52d0a4a2
  - LTS Haskell: c5f1e507cd
  - Stackage Nightly: 9351235d28
2015-10-04 21:23:12 +02:00
Tomas Hlavaty 37eda842f6 picolisp: exec in shell
there is no need to keep the shell around
2015-10-04 21:08:51 +02:00
Tomas Hlavaty 3a4db8d7e5 gtk-server: added 2015-10-04 21:08:50 +02:00
Tomas Hlavaty da8b05363b sbclBootstrap: don't patchelf on darwin
00935b2554 (commitcomment-13552300)
2015-10-04 21:08:49 +02:00
Tomas Hlavaty 7b252d94a6 cmucl: 20b -> 21a 2015-10-04 21:08:46 +02:00
Tomas Hlavaty 502f13d625 sbcl: 1.2.15 -> 1.2.16 2015-10-04 21:08:41 +02:00
Karn Kallio 94629aa57d R: regenerate CRAN and BIOC packages 2015-10-04 20:06:49 +02:00
Nikolay Amiantov 513e31185b R-curl: fix configure script 2015-10-04 20:06:49 +02:00
Bjørn Forsman f91c5bcc7a jquery-ui: 1.11.1 -> 1.11.4 2015-10-04 17:57:42 +02:00
Matthias Beyer bff59c5f00 jquery: 1.11.2 -> 1.11.3
[Bjørn: add 2nd hash (for the "uncompressed" download)]
2015-10-04 17:47:37 +02:00
Vincent Laporte 2702f01ee9 ocaml-twt: 0.93.2 -> 0.94.0 2015-10-04 01:17:33 +02:00
Henry Till 7670739d21 mozart: fix tcl/tk issues and clean up 2015-10-03 17:26:10 -04:00
Peter Simons 51db26ee03 Merge pull request #10200 from matthiasbeyer/fix-davfs2
davfs2: Fix broken build
2015-10-03 14:34:04 +02:00
Nikolay Amiantov e2e4e59975 llvm: add debug builds support 2015-10-03 14:18:57 +03:00
Nikolay Amiantov 9d430e6446 haskell-llvm-general: fix build 2015-10-03 14:15:51 +03:00
Matthias Beyer 3e5dbb7b78 neon: Re-add version 0.29.6 2015-10-03 13:01:31 +02:00
Vincent Laporte 9fa9c87485 ocaml: 4.02.2 -> 4.02.3 2015-10-03 08:26:42 +02:00
Vincent Laporte 67e38dfe23 ocaml: 4.02.1 -> 4.02.2 2015-10-03 08:26:42 +02:00