at master 279 B view raw
1fetchpatch: 2# https://github.com/Gecode/gecode/pull/74 3(fetchpatch { 4 name = "fix-const-weights-clang.patch"; 5 url = "https://github.com/Gecode/gecode/commit/c810c96b1ce5d3692e93439f76c4fa7d3daf9fbb.patch"; 6 sha256 = "0270msm22q5g5sqbdh8kmrihlxnnxqrxszk9a49hdxd72736p4fc"; 7})