Navigation Menu

Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 61cc1f0dc07c
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 0edebabe9270
Choose a head ref
  • 2 commits
  • 3 files changed
  • 1 contributor

Commits on Mar 2, 2020

  1. polyml: fix with new libffi 

    New libffi doesn't have FFI_SYSV for x86/64 unix, this pulls in the
commit for the upstream version which fixes it, and ports that patch to
the 5.7 version. The 5.6 version is unchanged.

For ZHF: #80379

(cherry picked from commit f8c402e)
    @FRidh
    Kovacsics Robert authored and FRidh committed Mar 2, 2020
    Copy the full SHA
    2f0b6c2 View commit details
    Browse the repository at this point in the history

  2. polyml: updated maintainers 

    I am not sure if we still need the old packages, nothing explicitly
depends on polyml56 or polyml57 according to a grep, not sure if
external packages might (hol and isabelle depend on polyml, the latest
version).

(cherry picked from commit f4c29eb)
    @FRidh
    Kovacsics Robert authored and FRidh committed Mar 2, 2020
    Copy the full SHA
    0edebab View commit details
    Browse the repository at this point in the history