Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

comby: init at 0.12.1 #76828

Closed
wants to merge 5 commits into from
Closed

comby: init at 0.12.1 #76828

wants to merge 5 commits into from

Commits on Feb 13, 2021

  1. Copy the full SHA
    74e209d View commit details
    Browse the repository at this point in the history
  2. comby: init at 0.12.1

    Br1ght0ne authored and JohnAZoidberg committed Feb 13, 2021
    Copy the full SHA
    6919a41 View commit details
    Browse the repository at this point in the history
  3. rename patch to diff

    JohnAZoidberg committed Feb 13, 2021
    Copy the full SHA
    5992fab View commit details
    Browse the repository at this point in the history
  4. comby, hack_parallel: Use Dune2

    File "/nix/store/5j7s3mgkvx6l0cgk7wvrbzznfq4msbaw-ocaml4.10.0-core_kernel-0.14.0/lib/ocaml/4.10.0/site-lib/core_kernel/dune-package", line 1, characters 11-14:
    1 | (lang dune 2.8)
                   ^^^
    Error: Version 2.8 of dune is not supported.
    Supported versions:
    - 0.0
    - 1.0 to 1.11
    Done: 0/0 (jobs: 0)
    JohnAZoidberg committed Feb 13, 2021
    Copy the full SHA
    b5bdc1d View commit details
    Browse the repository at this point in the history
  5. Copy the full SHA
    b4d8ffe View commit details
    Browse the repository at this point in the history