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: 2f6f6a38551f
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 4bcef38f24f0
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 contributors

Commits on Oct 15, 2019

  1. monosat: Add self as maintainer

    @acairncross
    acairncross committed Oct 15, 2019
    Configuration menu
    Copy the full SHA
    b4da391 View commit details
    Browse the repository at this point in the history

  2. monosat: 60528a3 -> 1.8.0 

    This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
    @acairncross @worldofpeace
    acairncross authored and worldofpeace committed Oct 15, 2019
    Configuration menu
    Copy the full SHA
    15dbd8d View commit details
    Browse the repository at this point in the history

  3. Merge pull request #63827 from acairncross/fix-monosat 

    monosat: Fix Linux build
    @worldofpeace
    worldofpeace committed Oct 15, 2019
    Configuration menu
    Copy the full SHA
    4bcef38 View commit details
    Browse the repository at this point in the history