[opam-commits] Cron job update-opam-repo failed on opam.ocaml.org

cron at opam.ocaml.org cron at opam.ocaml.org
Fri Sep 14 07:46:25 BST 2018


=== FULL LOG ===


======== RUNNING COMMAND: update-opam-repo update-opam-repo.sh ========
{{{
==> 2018-09-14 06:00:01+00:00
==> Load opam env
==> Running update-opam-repo.sh

Cloning into '/home/opam/www-new'...
Checking out files:   1% (428/29948)   
Checking out files:   1% (476/29948)   
Checking out files:   1% (556/29948)   
Checking out files:   2% (599/29948)   
Checking out files:   2% (717/29948)   
Checking out files:   3% (899/29948)   
Checking out files:   4% (1198/29948)   
Checking out files:   5% (1498/29948)   
Checking out files:   6% (1797/29948)   
Checking out files:   7% (2097/29948)   
Checking out files:   8% (2396/29948)   
Checking out files:   8% (2652/29948)   
Checking out files:   9% (2696/29948)   
Checking out files:  10% (2995/29948)   
Checking out files:  11% (3295/29948)   
Checking out files:  12% (3594/29948)   
Checking out files:  13% (3894/29948)   
Checking out files:  14% (4193/29948)   
Checking out files:  14% (4398/29948)   
Checking out files:  15% (4493/29948)   
Checking out files:  15% (4791/29948)   
Checking out files:  16% (4792/29948)   
Checking out files:  16% (5077/29948)   
Checking out files:  17% (5092/29948)   
Checking out files:  18% (5391/29948)   
Checking out files:  19% (5691/29948)   
Checking out files:  19% (5808/29948)   
Checking out files:  20% (5990/29948)   
Checking out files:  20% (6112/29948)   
Checking out files:  21% (6290/29948)   
Checking out files:  22% (6589/29948)   
Checking out files:  23% (6889/29948)   
Checking out files:  24% (7188/29948)   
Checking out files:  25% (7487/29948)   
Checking out files:  25% (7544/29948)   
Checking out files:  26% (7787/29948)   
Checking out files:  27% (8086/29948)   
Checking out files:  28% (8386/29948)   
Checking out files:  28% (8404/29948)   
Checking out files:  29% (8685/29948)   
Checking out files:  30% (8985/29948)   
Checking out files:  30% (9265/29948)   
Checking out files:  31% (9284/29948)   
Checking out files:  32% (9584/29948)   
Checking out files:  33% (9883/29948)   
Checking out files:  34% (10183/29948)   
Checking out files:  34% (10256/29948)   
Checking out files:  35% (10482/29948)   
Checking out files:  36% (10782/29948)   
Checking out files:  37% (11081/29948)   
Checking out files:  38% (11381/29948)   
Checking out files:  39% (11680/29948)   
Checking out files:  39% (11733/29948)   
Checking out files:  40% (11980/29948)   
Checking out files:  41% (12279/29948)   
Checking out files:  42% (12579/29948)   
Checking out files:  42% (12716/29948)   
Checking out files:  43% (12878/29948)   
Checking out files:  44% (13178/29948)   
Checking out files:  44% (13232/29948)   
Checking out files:  45% (13477/29948)   
Checking out files:  46% (13777/29948)   
Checking out files:  46% (13959/29948)   
Checking out files:  47% (14076/29948)   
Checking out files:  48% (14376/29948)   
Checking out files:  48% (14630/29948)   
Checking out files:  49% (14675/29948)   
Checking out files:  50% (14974/29948)   
Checking out files:  51% (15274/29948)   
Checking out files:  51% (15529/29948)   
Checking out files:  52% (15573/29948)   
Checking out files:  53% (15873/29948)   
Checking out files:  54% (16172/29948)   
Checking out files:  55% (16472/29948)   
Checking out files:  56% (16771/29948)   
Checking out files:  56% (17021/29948)   
Checking out files:  57% (17071/29948)   
Checking out files:  57% (17363/29948)   
Checking out files:  58% (17370/29948)   
Checking out files:  59% (17670/29948)   
Checking out files:  59% (17901/29948)   
Checking out files:  60% (17969/29948)   
Checking out files:  61% (18269/29948)   
Checking out files:  61% (18414/29948)   
Checking out files:  62% (18568/29948)   
Checking out files:  63% (18868/29948)   
Checking out files:  64% (19167/29948)   
Checking out files:  65% (19467/29948)   
Checking out files:  65% (19562/29948)   
Checking out files:  66% (19766/29948)   
Checking out files:  66% (20046/29948)   
Checking out files:  67% (20066/29948)   
Checking out files:  67% (20273/29948)   
Checking out files:  68% (20365/29948)   
Checking out files:  69% (20665/29948)   
Checking out files:  69% (20938/29948)   
Checking out files:  70% (20964/29948)   
Checking out files:  71% (21264/29948)   
Checking out files:  72% (21563/29948)   
Checking out files:  72% (21646/29948)   
Checking out files:  73% (21863/29948)   
Checking out files:  74% (22162/29948)   
Checking out files:  74% (22391/29948)   
Checking out files:  75% (22461/29948)   
Checking out files:  76% (22761/29948)   
Checking out files:  77% (23060/29948)   
Checking out files:  77% (23347/29948)   
Checking out files:  78% (23360/29948)   
Checking out files:  79% (23659/29948)   
Checking out files:  79% (23831/29948)   
Checking out files:  80% (23959/29948)   
Checking out files:  80% (24204/29948)   
Checking out files:  81% (24258/29948)   
Checking out files:  82% (24558/29948)   
Checking out files:  83% (24857/29948)   
Checking out files:  83% (24886/29948)   
Checking out files:  84% (25157/29948)   
Checking out files:  84% (25311/29948)   
Checking out files:  85% (25456/29948)   
Checking out files:  86% (25756/29948)   
Checking out files:  87% (26055/29948)   
Checking out files:  87% (26185/29948)   
Checking out files:  88% (26355/29948)   
Checking out files:  88% (26625/29948)   
Checking out files:  89% (26654/29948)   
Checking out files:  90% (26954/29948)   
Checking out files:  91% (27253/29948)   
Checking out files:  92% (27553/29948)   
Checking out files:  92% (27809/29948)   
Checking out files:  93% (27852/29948)   
Checking out files:  94% (28152/29948)   
Checking out files:  95% (28451/29948)   
Checking out files:  95% (28699/29948)   
Checking out files:  96% (28751/29948)   
Checking out files:  97% (29050/29948)   
Checking out files:  97% (29090/29948)   
Checking out files:  98% (29350/29948)   
Checking out files:  98% (29588/29948)   
Checking out files:  99% (29649/29948)   
Checking out files:  99% (29657/29948)   
Checking out files:  99% (29731/29948)   
Checking out files:  99% (29859/29948)   
Checking out files: 100% (29948/29948)   
Checking out files: 100% (29948/29948), done.
done.
>From git://github.com/ocaml/opam-repository
 * branch            master     -> FETCH_HEAD
HEAD is now at c551986 Merge pull request #12617 from hannesm/pcap-format
Cloning into '/home/opam/www-new/2.0'...
Checking out files:   1% (180/11316)   
Checking out files:   2% (227/11316)   
Checking out files:   2% (263/11316)   
Checking out files:   2% (319/11316)   
Checking out files:   3% (340/11316)   
Checking out files:   3% (355/11316)   
Checking out files:   3% (365/11316)   
Checking out files:   3% (377/11316)   
Checking out files:   3% (430/11316)   
Checking out files:   4% (453/11316)   
Checking out files:   4% (500/11316)   
Checking out files:   4% (533/11316)   
Checking out files:   4% (551/11316)   
Checking out files:   5% (566/11316)   
Checking out files:   5% (587/11316)   
Checking out files:   5% (601/11316)   
Checking out files:   6% (679/11316)   
Checking out files:   6% (709/11316)   
Checking out files:   6% (763/11316)   
Checking out files:   7% (793/11316)   
Checking out files:   7% (806/11316)   
Checking out files:   7% (840/11316)   
Checking out files:   8% (906/11316)   
Checking out files:   8% (925/11316)   
Checking out files:   9% (1019/11316)   
Checking out files:   9% (1053/11316)   
Checking out files:  10% (1132/11316)   
Checking out files:  10% (1212/11316)   
Checking out files:  11% (1245/11316)   
Checking out files:  11% (1260/11316)   
Checking out files:  11% (1303/11316)   
Checking out files:  12% (1358/11316)   
Checking out files:  12% (1441/11316)   
Checking out files:  13% (1472/11316)   
Checking out files:  13% (1534/11316)   
Checking out files:  14% (1585/11316)   
Checking out files:  15% (1698/11316)   
Checking out files:  15% (1704/11316)   
Checking out files:  15% (1792/11316)   
Checking out files:  16% (1811/11316)   
Checking out files:  16% (1866/11316)   
Checking out files:  17% (1924/11316)   
Checking out files:  17% (1949/11316)   
Checking out files:  17% (2009/11316)   
Checking out files:  18% (2037/11316)   
Checking out files:  19% (2151/11316)   
Checking out files:  19% (2224/11316)   
Checking out files:  20% (2264/11316)   
Checking out files:  20% (2365/11316)   
Checking out files:  21% (2377/11316)   
Checking out files:  22% (2490/11316)   
Checking out files:  22% (2531/11316)   
Checking out files:  23% (2603/11316)   
Checking out files:  24% (2716/11316)   
Checking out files:  24% (2814/11316)   
Checking out files:  25% (2829/11316)   
Checking out files:  26% (2943/11316)   
Checking out files:  26% (3001/11316)   
Checking out files:  26% (3042/11316)   
Checking out files:  27% (3056/11316)   
Checking out files:  27% (3101/11316)   
Checking out files:  28% (3169/11316)   
Checking out files:  28% (3204/11316)   
Checking out files:  29% (3282/11316)   
Checking out files:  29% (3330/11316)   
Checking out files:  30% (3395/11316)   
Checking out files:  31% (3508/11316)   
Checking out files:  31% (3509/11316)   
Checking out files:  32% (3622/11316)   
Checking out files:  33% (3735/11316)   
Checking out files:  33% (3777/11316)   
Checking out files:  33% (3841/11316)   
Checking out files:  34% (3848/11316)   
Checking out files:  34% (3924/11316)   
Checking out files:  35% (3961/11316)   
Checking out files:  35% (4028/11316)   
Checking out files:  36% (4074/11316)   
Checking out files:  37% (4187/11316)   
Checking out files:  37% (4189/11316)   
Checking out files:  38% (4301/11316)   
Checking out files:  38% (4328/11316)   
Checking out files:  39% (4414/11316)   
Checking out files:  39% (4474/11316)   
Checking out files:  40% (4527/11316)   
Checking out files:  41% (4640/11316)   
Checking out files:  41% (4642/11316)   
Checking out files:  42% (4753/11316)   
Checking out files:  42% (4822/11316)   
Checking out files:  43% (4866/11316)   
Checking out files:  43% (4870/11316)   
Checking out files:  43% (4915/11316)   
Checking out files:  43% (4967/11316)   
Checking out files:  44% (4980/11316)   
Checking out files:  44% (4986/11316)   
Checking out files:  44% (5039/11316)   
Checking out files:  45% (5093/11316)   
Checking out files:  45% (5123/11316)   
Checking out files:  46% (5206/11316)   
Checking out files:  47% (5319/11316)   
Checking out files:  47% (5410/11316)   
Checking out files:  48% (5432/11316)   
Checking out files:  49% (5545/11316)   
Checking out files:  49% (5609/11316)   
Checking out files:  50% (5658/11316)   
Checking out files:  51% (5772/11316)   
Checking out files:  51% (5826/11316)   
Checking out files:  52% (5885/11316)   
Checking out files:  53% (5998/11316)   
Checking out files:  54% (6111/11316)   
Checking out files:  54% (6138/11316)   
Checking out files:  55% (6224/11316)   
Checking out files:  55% (6315/11316)   
Checking out files:  56% (6337/11316)   
Checking out files:  56% (6443/11316)   
Checking out files:  57% (6451/11316)   
Checking out files:  57% (6547/11316)   
Checking out files:  58% (6564/11316)   
Checking out files:  58% (6649/11316)   
Checking out files:  59% (6677/11316)   
Checking out files:  59% (6696/11316)   
Checking out files:  59% (6754/11316)   
Checking out files:  60% (6790/11316)   
Checking out files:  60% (6902/11316)   
Checking out files:  61% (6903/11316)   
Checking out files:  62% (7016/11316)   
Checking out files:  62% (7077/11316)   
Checking out files:  63% (7130/11316)   
Checking out files:  64% (7243/11316)   
Checking out files:  64% (7282/11316)   
Checking out files:  65% (7356/11316)   
Checking out files:  65% (7401/11316)   
Checking out files:  66% (7469/11316)   
Checking out files:  66% (7547/11316)   
Checking out files:  67% (7582/11316)   
Checking out files:  67% (7665/11316)   
Checking out files:  68% (7695/11316)   
Checking out files:  68% (7764/11316)   
Checking out files:  69% (7809/11316)   
Checking out files:  69% (7836/11316)   
Checking out files:  70% (7922/11316)   
Checking out files:  70% (7997/11316)   
Checking out files:  71% (8035/11316)   
Checking out files:  72% (8148/11316)   
Checking out files:  72% (8179/11316)   
Checking out files:  73% (8261/11316)   
Checking out files:  73% (8369/11316)   
Checking out files:  74% (8374/11316)   
Checking out files:  74% (8402/11316)   
Checking out files:  74% (8477/11316)   
Checking out files:  75% (8487/11316)   
Checking out files:  76% (8601/11316)   
Checking out files:  76% (8623/11316)   
Checking out files:  77% (8714/11316)   
Checking out files:  77% (8820/11316)   
Checking out files:  78% (8827/11316)   
Checking out files:  79% (8940/11316)   
Checking out files:  79% (8975/11316)   
Checking out files:  80% (9053/11316)   
Checking out files:  80% (9060/11316)   
Checking out files:  81% (9166/11316)   
Checking out files:  81% (9235/11316)   
Checking out files:  81% (9279/11316)   
Checking out files:  82% (9280/11316)   
Checking out files:  82% (9389/11316)   
Checking out files:  83% (9393/11316)   
Checking out files:  83% (9503/11316)   
Checking out files:  84% (9506/11316)   
Checking out files:  84% (9575/11316)   
Checking out files:  85% (9619/11316)   
Checking out files:  85% (9695/11316)   
Checking out files:  86% (9732/11316)   
Checking out files:  86% (9830/11316)   
Checking out files:  87% (9845/11316)   
Checking out files:  88% (9959/11316)   
Checking out files:  89% (10072/11316)   
Checking out files:  89% (10089/11316)   
Checking out files:  90% (10185/11316)   
Checking out files:  91% (10298/11316)   
Checking out files:  91% (10360/11316)   
Checking out files:  92% (10411/11316)   
Checking out files:  92% (10475/11316)   
Checking out files:  93% (10524/11316)   
Checking out files:  93% (10598/11316)   
Checking out files:  94% (10638/11316)   
Checking out files:  95% (10751/11316)   
Checking out files:  95% (10816/11316)   
Checking out files:  96% (10864/11316)   
Checking out files:  97% (10977/11316)   
Checking out files:  97% (11009/11316)   
Checking out files:  98% (11090/11316)   
Checking out files:  98% (11154/11316)   
Checking out files:  99% (11203/11316)   
Checking out files:  99% (11273/11316)   
Checking out files: 100% (11316/11316)   
Checking out files: 100% (11316/11316), done.
done.
>From git://github.com/ocaml/opam-repository
 * branch            2.0.0      -> FETCH_HEAD
HEAD is now at d00ad41 Format upgrade merge (pcap-format.0.5.1)
[WARNING] [ocaml-variants.4.07.0+trunk+afl] no checksum, not caching
[WARNING] [ppx_test.1.5.1] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.02.3+buckle-master] no checksum, not caching
[WARNING] [xapi-tapctl.1.0.1] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk+force-safe-string] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk+fp+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk+fp+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.07.0+trunk+fp+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk+fp+flambda] no checksum, not caching
[WARNING] [ppx_monadic.2.2.1] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk] no checksum, not caching
[WARNING] [camltc.0.9.3] no checksum, not caching
[WARNING] [camltc.0.9.5] no checksum, not caching
[WARNING] [camltc.0.9.4] no checksum, not caching
[WARNING] [bap-saluki.1.0.0~alpha] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk+afl] no checksum, not caching
[WARNING] [ppx_tools.0.1] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk] no checksum, not caching
[WARNING] [ocaml-variants.4.07.0+trunk+flambda] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk+safe-string] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk+default-unsafe-string] no checksum, not caching
[WARNING] [ocaml_at_p.1.0.1] no checksum, not caching
[WARNING] [camltc.0.9.6] no checksum, not caching
[WARNING] [ivy.1.2.2] no checksum, not caching
[WARNING] [ocaml-variants.4.05.0+trunk+fp] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk+afl] no checksum, not caching
[WARNING] [ocaml-variants.4.07.0+trunk] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk] no checksum, not caching
[WARNING] [ocaml-variants.4.07.0+trunk+fp] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk+afl] no checksum, not caching
[WARNING] [ocaml-variants.4.08.0+trunk+fp] no checksum, not caching
[WARNING] [ocaml-variants.4.06.1+trunk+fp] no checksum, not caching
[WARNING] [ocaml_at_p.1.1.0] no checksum, not caching
[WARNING] [ocaml-variants.4.07.0+trunk+default-unsafe-string] no checksum, not caching
[WARNING] [sedlex.1.99.1] no checksum, not caching
[WARNING] [ocaml_at_p.1.0] no checksum, not caching
[WARNING] [quickcheck.0.0.3] no checksum, not caching
Adding cache to /home/opam/www-new/2.0/repo...
[ERROR] Got some errors while processing: cubicle.1.0, frenetic.1.0, obandit.0.2.1, ocamltter.2.1.1, ox.1.0.0
  - [cubicle.1.0] http://cubicle.lri.fr/cubicle-1.0.tar.gz (curl: code 404 while downloading http://cubicle.lri.fr/cubicle-1.0.tar.gz)
  - [frenetic.1.0] https://people.cs.umass.edu/~arjun/download/frenetic.1.0.tar.gz (Bad checksum, expected md5=fe898ac5cdc8c06dc9d39b8d1b678af4)
  - [obandit.0.2.1] http://freux.fr/obandit/releases/obandit-0.2.1.tbz (curl: code 404 while downloading http://freux.fr/obandit/releases/obandit-0.2.1.tbz)
  - [ocamltter.2.1.1] https://github.com/yoshihiro502/ocamltter/archive/2.1.1.tar.gz (curl: code 404 while downloading https://github.com/yoshihiro502/ocamltter/archive/2.1.1.tar.gz)
  - [ox.1.0.0] https://people.cs.umass.edu/~arjun/download/ox.1.0.tar.gz (Bad checksum, expected md5=ff90432a72ae48d52505968df2723ba1)
Done.
Generating urls.txt...
Generating index.tar.gz...
Done.
Packages to build: 214 elements
Building /home/opam/www-new/archives/cubicle.1.0+opam.tar.gz
[ERROR] curl: code 404 while downloading
        http://cubicle.lri.fr/cubicle-1.0.tar.gz
[ERROR] http://cubicle.lri.fr/cubicle-1.0.tar.gz is not available
Building /home/opam/www-new/archives/frenetic.1.0+opam.tar.gz
[ERROR] Bad checksum for /tmp/opam-8846-42bb52/frenetic.1.0.tar.gz:
          - fe898ac5cdc8c06dc9d39b8d1b678af4 [expected result]
          - 7beb64dfbf9810927b17c8c30c62853b [actual result]
        Metadata might be out of date, in this case run `opam update`.

[ERROR] https://people.cs.umass.edu/~arjun/download/frenetic.1.0.tar.gz is not
        available
Building /home/opam/www-new/archives/obandit.0.2.1+opam.tar.gz
[ERROR] curl: code 404 while downloading
        http://freux.fr/obandit/releases/obandit-0.2.1.tbz
[ERROR] http://freux.fr/obandit/releases/obandit-0.2.1.tbz is not available
Building /home/opam/www-new/archives/ocamltter.2.1.1+opam.tar.gz
[ERROR] curl: code 404 while downloading
        https://github.com/yoshihiro502/ocamltter/archive/2.1.1.tar.gz
[ERROR] https://github.com/yoshihiro502/ocamltter/archive/2.1.1.tar.gz is not
        available
Building /home/opam/www-new/archives/ox.1.0.0+opam.tar.gz
[ERROR] Bad checksum for /tmp/opam-8846-c61e7b/ox.1.0.tar.gz:
          - ff90432a72ae48d52505968df2723ba1 [expected result]
          - aba54cd09130ab8228cae919958ee7fe [actual result]
        Metadata might be out of date, in this case run `opam update`.

[ERROR] https://people.cs.umass.edu/~arjun/download/ox.1.0.tar.gz is not
        available
Building /home/opam/www-new/archives/sedlex.1.99+opam.tar.gz
[ERROR] curl: code 404 while downloading
        http://www.lexifi.com/sedlex/sedlex-1.99.1.tar.gz
[ERROR] http://www.lexifi.com/sedlex/sedlex-1.99.1.tar.gz is not available
Rebuilding index.tar.gz ...
Rebuilding urls.txt
[ERROR] Got some errors while processing: sedlex.1.99, ox.1.0.0,
        ocamltter.2.1.1, obandit.0.2.1, frenetic.1.0, cubicle.1.0

#=== ERROR sedlex.1.99 ========================================================#
OpamStd.OpamSys.Exit(66)

#=== ERROR ox.1.0.0 ===========================================================#
OpamStd.OpamSys.Exit(66)

#=== ERROR ocamltter.2.1.1 ====================================================#
OpamStd.OpamSys.Exit(66)

#=== ERROR obandit.0.2.1 ======================================================#
OpamStd.OpamSys.Exit(66)

#=== ERROR frenetic.1.0 =======================================================#
OpamStd.OpamSys.Exit(66)

#=== ERROR cubicle.1.0 ========================================================#
OpamStd.OpamSys.Exit(66)
Cloning into '/tmp/opam2web-content.yTKg/doc/1.1'...
Cloning into '/tmp/opam2web-content.yTKg/opam-tmp'...
>From git://github.com/ocaml/opam
 * branch            master     -> FETCH_HEAD
Switched to a new branch 'master'
Branch master set up to track remote branch master from origin.
Cloning into '/tmp/opam2web-content.yTKg/blog'...
=== Repository: . ===
Loading universe... [WARNING] Missing dependency oUnit in package containers.2.0
[WARNING] Missing dependency str in package ezsqlite.0.4
[WARNING] Missing dependency threads in package gpr.1.3.0
[WARNING] Missing dependency yojson-android in package radare2.0.0.1
[WARNING] Missing dependency yojson-android in package radare2.0.0.2
[WARNING] Missing dependency oUnit in package traildb.0.1
[WARNING] Missing dependency archive in package debian-formats.0.1.1
[WARNING] Missing dependency lwt-android in package debian-formats.0.1.1
[WARNING] Missing dependency reatk in package heptagon.1.03.00
[WARNING] Missing dependency reatk in package heptagon.1.03.01
[WARNING] Missing dependency reatk in package heptagon.1.03.02
[WARNING] Missing dependency reatk in package heptagon.1.03.03
[WARNING] Missing dependency reatk in package heptagon.1.03.04
[WARNING] Missing dependency reatk in package heptagon.1.04.00
[WARNING] Missing dependency reatk in package heptagon.1.05.00
[WARNING] Missing dependency random-generator in package qbf.0.2
[WARNING] Missing dependency coq-flocq in package why3-coq.1.0.0
opam2web: internal error, uncaught exception:
          Unix.Unix_error(Unix.ENOMEM, "fork", "")
          Raised by primitive operation at file "unix.ml", line 912, characters 8-14
          Called from file "core/opamProcess.ml", line 186, characters 4-118
          Called from file "core/opamProcess.ml", line 266, characters 2-110
          Called from file "core/opamProcess.ml", line 458, characters 10-32
          Called from file "core/opamSystem.ml", line 285, characters 6-124
          Called from file "core/opamSystem.ml", line 323, characters 14-38
          Called from file "core/opamSystem.ml", line 368, characters 7-30
          Called from file "core/opamSystem.ml", line 416, characters 10-68
          Called from file "core/opamSystem.ml", line 164, characters 12-17
          Re-raised at file "core/opamSystem.ml", line 169, characters 4-11
          Called from file "core/opamFilename.ml" (inlined), line 75, characters 24-52
          Called from file "lib/opamfUniverse.ml", line 252, characters 18-170
          Called from file "core/opamStd.ml", line 182, characters 14-28
          Called from file "map.ml", line 172, characters 20-25
          Called from file "core/opamStd.ml", line 181, characters 6-72
          Called from file "lib/opamfUniverse.ml", line 244, characters 23-1007
          Called from file "lib/opamfUniverse.ml", line 346, characters 19-38
          Called from file "o2wUniverse.ml", line 154, characters 28-64
          Called from file "opam2web.ml", line 226, characters 4-57
          Called from file "src/cmdliner_term.ml", line 27, characters 19-24
          Called from file "src/cmdliner.ml", line 106, characters 32-39
Fatal error: exception (Sys_error "rm -rf /tmp/opam-xxx-10452: Cannot allocate memory")
Raised by primitive operation at file "core/opamSystem.ml", line 80, characters 14-58
Called from file "pervasives.ml", line 515, characters 30-33
Called from file "pervasives.ml" (inlined), line 517, characters 20-39
Called from file "pervasives.ml", line 520, characters 2-15
Called from file "opam2web.ml", line 251, characters 16-22

======== CRON JOB update-opam-repo FAILED ========
==> 2018-09-14 06:46:24+00:00
==> Full command was: update-opam-repo.sh


More information about the Opam-commits mailing list