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
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 598fcb04211a
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 3ce5fac5e352
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Nov 23, 2018

  1. minizinc: 2.2.1 -> 2.2.3 

    Using a git revision for 2.2.3 because their tags are disappearing.

See:
- MiniZinc/libminizinc#257
- MiniZinc/libminizinc#248
    @worldofpeace
    worldofpeace committed Nov 23, 2018
    Copy the full SHA
    1040875 View commit details

Commits on Nov 24, 2018

  1. Merge pull request #50975 from worldofpeace/minizinc/2.2.3 

    minizinc: 2.2.1 -> 2.2.3
    @worldofpeace
    worldofpeace authored Nov 24, 2018

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    3ce5fac View commit details
Showing with 3 additions and 4 deletions.
  1. +3 −4 pkgs/development/tools/minizinc/default.nix
7 changes: 3 additions & 4 deletions pkgs/development/tools/minizinc/default.nix
View file
Original file line number Diff line number Diff line change
@@ -1,20 +1,19 @@
{ stdenv, fetchFromGitHub, cmake, flex, bison }:
let
version = "2.2.1";
version = "2.2.3";
in
stdenv.mkDerivation {
name = "minizinc-${version}";

buildInputs = [ cmake flex bison ];

src = fetchFromGitHub {
rev = "${version}";
owner = "MiniZinc";
repo = "libminizinc";
sha256 = "1i11lan7fqs3lg0s6jfr8sflzwn5nk1ln5j6afjrkrdb08291dr7";
rev = "3d66971a0cad6edbe796f4dd940229d38e5bfe3d"; # tags on the repo are disappearing: See https://github.com/MiniZinc/libminizinc/issues/257
sha256 = "1q31y9131aj2lsm34srm8i1s0271qcaaknzvym3r8awynm14saq5";
};

# meta is all the information about the package..
meta = with stdenv.lib; {
homepage = http://www.minizinc.org/;
description = "MiniZinc is a medium-level constraint modelling language.";